// Copyright 2011 Google Inc. All Rights Reserved.

// This file was generated from .js source files by GYP.  If you
// want to make changes to this file you should either change the
// javascript source files or the GYP script.

#include "src/snapshot/natives.h"
#include "src/utils.h"
#include "src/v8.h"

namespace v8 {
namespace internal {

    static const char sources[] = { 10, 40, 102, 117, 110, 99, 116, 105, 111, 110, 40, 103, 108, 111, 98, 97, 108,
        44, 32, 98, 105, 110, 100, 105, 110, 103, 44, 32, 118, 56, 41, 32, 123, 10, 32,
        32, 39, 117, 115, 101, 32, 115, 116, 114, 105, 99, 116, 39, 59, 10, 32, 32, 98,
        105, 110, 100, 105, 110, 103, 46, 115, 116, 114, 101, 97, 109, 69, 114, 114,
        111, 114, 115, 32, 61, 32, 123, 10, 32, 32, 32, 32, 105, 108, 108, 101, 103, 97,
        108, 73, 110, 118, 111, 99, 97, 116, 105, 111, 110, 58, 32, 39, 73, 108, 108,
        101, 103, 97, 108, 32, 105, 110, 118, 111, 99, 97, 116, 105, 111, 110, 39, 44,
        10, 32, 32, 32, 32, 105, 108, 108, 101, 103, 97, 108, 67, 111, 110, 115, 116,
        114, 117, 99, 116, 111, 114, 58, 32, 39, 73, 108, 108, 101, 103, 97, 108, 32,
        99, 111, 110, 115, 116, 114, 117, 99, 116, 111, 114, 39, 44, 10, 32, 32, 32, 32,
        105, 110, 118, 97, 108, 105, 100, 84, 121, 112, 101, 58, 32, 39, 73, 110, 118,
        97, 108, 105, 100, 32, 116, 121, 112, 101, 32, 105, 115, 32, 115, 112, 101, 99,
        105, 102, 105, 101, 100, 39, 44, 10, 32, 32, 32, 32, 105, 110, 118, 97, 108,
        105, 100, 83, 105, 122, 101, 58, 32, 39, 84, 104, 101, 32, 114, 101, 116, 117,
        114, 110, 32, 118, 97, 108, 117, 101, 32, 111, 102, 32, 97, 32, 113, 117, 101,
        117, 105, 110, 103, 32, 115, 116, 114, 97, 116, 101, 103, 121, 92, 39, 115, 32,
        115, 105, 122, 101, 32, 102, 117, 110, 99, 116, 105, 111, 110, 32, 109, 117,
        115, 116, 32, 98, 101, 32, 97, 32, 102, 105, 110, 105, 116, 101, 44, 32, 110,
        111, 110, 45, 78, 97, 78, 44, 32, 110, 111, 110, 45, 110, 101, 103, 97, 116,
        105, 118, 101, 32, 110, 117, 109, 98, 101, 114, 39, 44, 10, 32, 32, 32, 32, 115,
        105, 122, 101, 78, 111, 116, 65, 70, 117, 110, 99, 116, 105, 111, 110, 58, 32,
        39, 65, 32, 113, 117, 101, 117, 105, 110, 103, 32, 115, 116, 114, 97, 116, 101,
        103, 121, 92, 39, 115, 32, 115, 105, 122, 101, 32, 112, 114, 111, 112, 101, 114,
        116, 121, 32, 109, 117, 115, 116, 32, 98, 101, 32, 97, 32, 102, 117, 110, 99,
        116, 105, 111, 110, 39, 44, 10, 32, 32, 32, 32, 105, 110, 118, 97, 108, 105,
        100, 72, 87, 77, 58, 32, 39, 65, 32, 113, 117, 101, 117, 101, 105, 110, 103, 32,
        115, 116, 114, 97, 116, 101, 103, 121, 92, 39, 115, 32, 104, 105, 103, 104, 87,
        97, 116, 101, 114, 77, 97, 114, 107, 32, 112, 114, 111, 112, 101, 114, 116, 121,
        32, 109, 117, 115, 116, 32, 98, 101, 32, 97, 32, 110, 111, 110, 110, 101, 103,
        97, 116, 105, 118, 101, 44, 32, 110, 111, 110, 45, 78, 97, 78, 32, 110, 117,
        109, 98, 101, 114, 39, 44, 10, 32, 32, 125, 59, 10, 125, 41, 59, 10, 10, 40,
        102, 117, 110, 99, 116, 105, 111, 110, 40, 103, 108, 111, 98, 97, 108, 44, 32,
        98, 105, 110, 100, 105, 110, 103, 44, 32, 118, 56, 41, 32, 123, 10, 32, 32, 39,
        117, 115, 101, 32, 115, 116, 114, 105, 99, 116, 39, 59, 10, 32, 32, 99, 111,
        110, 115, 116, 32, 100, 101, 102, 105, 110, 101, 80, 114, 111, 112, 101, 114,
        116, 121, 32, 61, 32, 103, 108, 111, 98, 97, 108, 46, 79, 98, 106, 101, 99, 116,
        46, 100, 101, 102, 105, 110, 101, 80, 114, 111, 112, 101, 114, 116, 121, 59, 10,
        32, 32, 99, 108, 97, 115, 115, 32, 66, 121, 116, 101, 76, 101, 110, 103, 116,
        104, 81, 117, 101, 117, 105, 110, 103, 83, 116, 114, 97, 116, 101, 103, 121, 32,
        123, 10, 32, 32, 32, 32, 99, 111, 110, 115, 116, 114, 117, 99, 116, 111, 114,
        40, 111, 112, 116, 105, 111, 110, 115, 41, 32, 123, 10, 32, 32, 32, 32, 32, 32,
        100, 101, 102, 105, 110, 101, 80, 114, 111, 112, 101, 114, 116, 121, 40, 116,
        104, 105, 115, 44, 32, 39, 104, 105, 103, 104, 87, 97, 116, 101, 114, 77, 97,
        114, 107, 39, 44, 32, 123, 10, 32, 32, 32, 32, 32, 32, 32, 32, 118, 97, 108,
        117, 101, 58, 32, 111, 112, 116, 105, 111, 110, 115, 46, 104, 105, 103, 104, 87,
        97, 116, 101, 114, 77, 97, 114, 107, 44, 10, 32, 32, 32, 32, 32, 32, 32, 32,
        101, 110, 117, 109, 101, 114, 97, 98, 108, 101, 58, 32, 116, 114, 117, 101, 44,
        10, 32, 32, 32, 32, 32, 32, 32, 32, 99, 111, 110, 102, 105, 103, 117, 114, 97,
        98, 108, 101, 58, 32, 116, 114, 117, 101, 44, 10, 32, 32, 32, 32, 32, 32, 32,
        32, 119, 114, 105, 116, 97, 98, 108, 101, 58, 32, 116, 114, 117, 101, 10, 32,
        32, 32, 32, 32, 32, 125, 41, 59, 10, 32, 32, 32, 32, 125, 10, 32, 32, 32, 32,
        115, 105, 122, 101, 40, 99, 104, 117, 110, 107, 41, 32, 123, 32, 114, 101, 116,
        117, 114, 110, 32, 99, 104, 117, 110, 107, 46, 98, 121, 116, 101, 76, 101, 110,
        103, 116, 104, 59, 32, 125, 10, 32, 32, 125, 10, 32, 32, 100, 101, 102, 105,
        110, 101, 80, 114, 111, 112, 101, 114, 116, 121, 40, 103, 108, 111, 98, 97, 108,
        44, 32, 39, 66, 121, 116, 101, 76, 101, 110, 103, 116, 104, 81, 117, 101, 117,
        105, 110, 103, 83, 116, 114, 97, 116, 101, 103, 121, 39, 44, 32, 123, 10, 32,
        32, 32, 32, 118, 97, 108, 117, 101, 58, 32, 66, 121, 116, 101, 76, 101, 110,
        103, 116, 104, 81, 117, 101, 117, 105, 110, 103, 83, 116, 114, 97, 116, 101,
        103, 121, 44, 10, 32, 32, 32, 32, 101, 110, 117, 109, 101, 114, 97, 98, 108,
        101, 58, 32, 102, 97, 108, 115, 101, 44, 10, 32, 32, 32, 32, 99, 111, 110, 102,
        105, 103, 117, 114, 97, 98, 108, 101, 58, 32, 116, 114, 117, 101, 44, 10, 32,
        32, 32, 32, 119, 114, 105, 116, 97, 98, 108, 101, 58, 32, 116, 114, 117, 101,
        10, 32, 32, 125, 41, 59, 10, 125, 41, 59, 10, 10, 40, 102, 117, 110, 99, 116,
        105, 111, 110, 40, 103, 108, 111, 98, 97, 108, 44, 32, 98, 105, 110, 100, 105,
        110, 103, 44, 32, 118, 56, 41, 32, 123, 10, 32, 32, 39, 117, 115, 101, 32, 115,
        116, 114, 105, 99, 116, 39, 59, 10, 32, 32, 99, 111, 110, 115, 116, 32, 100,
        101, 102, 105, 110, 101, 80, 114, 111, 112, 101, 114, 116, 121, 32, 61, 32, 103,
        108, 111, 98, 97, 108, 46, 79, 98, 106, 101, 99, 116, 46, 100, 101, 102, 105,
        110, 101, 80, 114, 111, 112, 101, 114, 116, 121, 59, 10, 32, 32, 99, 108, 97,
        115, 115, 32, 67, 111, 117, 110, 116, 81, 117, 101, 117, 105, 110, 103, 83, 116,
        114, 97, 116, 101, 103, 121, 32, 123, 10, 32, 32, 32, 32, 99, 111, 110, 115,
        116, 114, 117, 99, 116, 111, 114, 40, 111, 112, 116, 105, 111, 110, 115, 41, 32,
        123, 10, 32, 32, 32, 32, 32, 32, 100, 101, 102, 105, 110, 101, 80, 114, 111,
        112, 101, 114, 116, 121, 40, 116, 104, 105, 115, 44, 32, 39, 104, 105, 103, 104,
        87, 97, 116, 101, 114, 77, 97, 114, 107, 39, 44, 32, 123, 10, 32, 32, 32, 32,
        32, 32, 32, 32, 118, 97, 108, 117, 101, 58, 32, 111, 112, 116, 105, 111, 110,
        115, 46, 104, 105, 103, 104, 87, 97, 116, 101, 114, 77, 97, 114, 107, 44, 10,
        32, 32, 32, 32, 32, 32, 32, 32, 101, 110, 117, 109, 101, 114, 97, 98, 108, 101,
        58, 32, 116, 114, 117, 101, 44, 10, 32, 32, 32, 32, 32, 32, 32, 32, 99, 111,
        110, 102, 105, 103, 117, 114, 97, 98, 108, 101, 58, 32, 116, 114, 117, 101, 44,
        10, 32, 32, 32, 32, 32, 32, 32, 32, 119, 114, 105, 116, 97, 98, 108, 101, 58,
        32, 116, 114, 117, 101, 10, 32, 32, 32, 32, 32, 32, 125, 41, 59, 10, 32, 32, 32,
        32, 125, 10, 32, 32, 32, 32, 115, 105, 122, 101, 40, 99, 104, 117, 110, 107, 41,
        32, 123, 32, 114, 101, 116, 117, 114, 110, 32, 49, 59, 32, 125, 10, 32, 32, 125,
        10, 32, 32, 100, 101, 102, 105, 110, 101, 80, 114, 111, 112, 101, 114, 116, 121,
        40, 103, 108, 111, 98, 97, 108, 44, 32, 39, 67, 111, 117, 110, 116, 81, 117,
        101, 117, 105, 110, 103, 83, 116, 114, 97, 116, 101, 103, 121, 39, 44, 32, 123,
        10, 32, 32, 32, 32, 118, 97, 108, 117, 101, 58, 32, 67, 111, 117, 110, 116, 81,
        117, 101, 117, 105, 110, 103, 83, 116, 114, 97, 116, 101, 103, 121, 44, 10, 32,
        32, 32, 32, 101, 110, 117, 109, 101, 114, 97, 98, 108, 101, 58, 32, 102, 97,
        108, 115, 101, 44, 10, 32, 32, 32, 32, 99, 111, 110, 102, 105, 103, 117, 114,
        97, 98, 108, 101, 58, 32, 116, 114, 117, 101, 44, 10, 32, 32, 32, 32, 119, 114,
        105, 116, 97, 98, 108, 101, 58, 32, 116, 114, 117, 101, 10, 32, 32, 125, 41, 59,
        10, 32, 32, 99, 108, 97, 115, 115, 32, 66, 117, 105, 108, 116, 73, 110, 67, 111,
        117, 110, 116, 81, 117, 101, 117, 105, 110, 103, 83, 116, 114, 97, 116, 101,
        103, 121, 32, 123, 10, 32, 32, 32, 32, 99, 111, 110, 115, 116, 114, 117, 99,
        116, 111, 114, 40, 104, 105, 103, 104, 87, 97, 116, 101, 114, 77, 97, 114, 107,
        41, 32, 123, 10, 32, 32, 32, 32, 32, 32, 100, 101, 102, 105, 110, 101, 80, 114,
        111, 112, 101, 114, 116, 121, 40, 116, 104, 105, 115, 44, 32, 39, 104, 105, 103,
        104, 87, 97, 116, 101, 114, 77, 97, 114, 107, 39, 44, 32, 123, 118, 97, 108,
        117, 101, 58, 32, 104, 105, 103, 104, 87, 97, 116, 101, 114, 77, 97, 114, 107,
        125, 41, 59, 10, 32, 32, 32, 32, 125, 10, 32, 32, 32, 32, 115, 105, 122, 101,
        40, 99, 104, 117, 110, 107, 41, 32, 123, 32, 114, 101, 116, 117, 114, 110, 32,
        49, 59, 32, 125, 10, 32, 32, 125, 10, 32, 32, 98, 105, 110, 100, 105, 110, 103,
        46, 99, 114, 101, 97, 116, 101, 66, 117, 105, 108, 116, 73, 110, 67, 111, 117,
        110, 116, 81, 117, 101, 117, 105, 110, 103, 83, 116, 114, 97, 116, 101, 103,
        121, 32, 61, 32, 104, 105, 103, 104, 87, 97, 116, 101, 114, 77, 97, 114, 107,
        32, 61, 62, 10, 32, 32, 32, 32, 32, 32, 110, 101, 119, 32, 66, 117, 105, 108,
        116, 73, 110, 67, 111, 117, 110, 116, 81, 117, 101, 117, 105, 110, 103, 83, 116,
        114, 97, 116, 101, 103, 121, 40, 104, 105, 103, 104, 87, 97, 116, 101, 114, 77,
        97, 114, 107, 41, 59, 10, 125, 41, 59, 10, 10, 40, 102, 117, 110, 99, 116, 105,
        111, 110, 40, 103, 108, 111, 98, 97, 108, 44, 32, 98, 105, 110, 100, 105, 110,
        103, 44, 32, 118, 56, 41, 32, 123, 10, 32, 32, 39, 117, 115, 101, 32, 115, 116,
        114, 105, 99, 116, 39, 59, 10, 32, 32, 99, 111, 110, 115, 116, 32, 95, 114, 101,
        97, 100, 101, 114, 32, 61, 32, 118, 56, 46, 99, 114, 101, 97, 116, 101, 80, 114,
        105, 118, 97, 116, 101, 83, 121, 109, 98, 111, 108, 40, 39, 91, 91, 114, 101,
        97, 100, 101, 114, 93, 93, 39, 41, 59, 10, 32, 32, 99, 111, 110, 115, 116, 32,
        95, 115, 116, 111, 114, 101, 100, 69, 114, 114, 111, 114, 32, 61, 32, 118, 56,
        46, 99, 114, 101, 97, 116, 101, 80, 114, 105, 118, 97, 116, 101, 83, 121, 109,
        98, 111, 108, 40, 39, 91, 91, 115, 116, 111, 114, 101, 100, 69, 114, 114, 111,
        114, 93, 93, 39, 41, 59, 10, 32, 32, 99, 111, 110, 115, 116, 32, 95, 99, 111,
        110, 116, 114, 111, 108, 108, 101, 114, 32, 61, 32, 118, 56, 46, 99, 114, 101,
        97, 116, 101, 80, 114, 105, 118, 97, 116, 101, 83, 121, 109, 98, 111, 108, 40,
        39, 91, 91, 99, 111, 110, 116, 114, 111, 108, 108, 101, 114, 93, 93, 39, 41, 59,
        10, 32, 32, 99, 111, 110, 115, 116, 32, 95, 99, 108, 111, 115, 101, 100, 80,
        114, 111, 109, 105, 115, 101, 32, 61, 32, 118, 56, 46, 99, 114, 101, 97, 116,
        101, 80, 114, 105, 118, 97, 116, 101, 83, 121, 109, 98, 111, 108, 40, 39, 91,
        91, 99, 108, 111, 115, 101, 100, 80, 114, 111, 109, 105, 115, 101, 93, 93, 39,
        41, 59, 10, 32, 32, 99, 111, 110, 115, 116, 32, 95, 111, 119, 110, 101, 114, 82,
        101, 97, 100, 97, 98, 108, 101, 83, 116, 114, 101, 97, 109, 32, 61, 10, 32, 32,
        32, 32, 32, 32, 118, 56, 46, 99, 114, 101, 97, 116, 101, 80, 114, 105, 118, 97,
        116, 101, 83, 121, 109, 98, 111, 108, 40, 39, 91, 91, 111, 119, 110, 101, 114,
        82, 101, 97, 100, 97, 98, 108, 101, 83, 116, 114, 101, 97, 109, 93, 93, 39, 41,
        59, 10, 32, 32, 99, 111, 110, 115, 116, 32, 95, 114, 101, 97, 100, 82, 101, 113,
        117, 101, 115, 116, 115, 32, 61, 32, 118, 56, 46, 99, 114, 101, 97, 116, 101,
        80, 114, 105, 118, 97, 116, 101, 83, 121, 109, 98, 111, 108, 40, 39, 91, 91,
        114, 101, 97, 100, 82, 101, 113, 117, 101, 115, 116, 115, 93, 93, 39, 41, 59,
        10, 32, 32, 99, 111, 110, 115, 116, 32, 99, 114, 101, 97, 116, 101, 87, 105,
        116, 104, 69, 120, 116, 101, 114, 110, 97, 108, 67, 111, 110, 116, 114, 111,
        108, 108, 101, 114, 83, 101, 110, 116, 105, 110, 101, 108, 32, 61, 10, 32, 32,
        32, 32, 32, 32, 118, 56, 46, 99, 114, 101, 97, 116, 101, 80, 114, 105, 118, 97,
        116, 101, 83, 121, 109, 98, 111, 108, 40, 39, 102, 108, 97, 103, 32, 102, 111,
        114, 32, 85, 65, 45, 99, 114, 101, 97, 116, 101, 100, 32, 82, 101, 97, 100, 97,
        98, 108, 101, 83, 116, 114, 101, 97, 109, 32, 116, 111, 32, 112, 97, 115, 115,
        39, 41, 59, 10, 32, 32, 99, 111, 110, 115, 116, 32, 95, 114, 101, 97, 100, 97,
        98, 108, 101, 83, 116, 114, 101, 97, 109, 66, 105, 116, 115, 32, 61, 32, 118,
        56, 46, 99, 114, 101, 97, 116, 101, 80, 114, 105, 118, 97, 116, 101, 83, 121,
        109, 98, 111, 108, 40, 39, 98, 105, 116, 32, 102, 105, 101, 108, 100, 32, 102,
        111, 114, 32, 91, 91, 115, 116, 97, 116, 101, 93, 93, 32, 97, 110, 100, 32, 91,
        91, 100, 105, 115, 116, 117, 114, 98, 101, 100, 93, 93, 39, 41, 59, 10, 32, 32,
        99, 111, 110, 115, 116, 32, 68, 73, 83, 84, 85, 82, 66, 69, 68, 32, 61, 32, 48,
        98, 49, 59, 10, 32, 32, 99, 111, 110, 115, 116, 32, 83, 84, 65, 84, 69, 95, 77,
        65, 83, 75, 32, 61, 32, 48, 98, 49, 49, 48, 59, 10, 32, 32, 99, 111, 110, 115,
        116, 32, 83, 84, 65, 84, 69, 95, 66, 73, 84, 83, 95, 79, 70, 70, 83, 69, 84, 32,
        61, 32, 49, 59, 10, 32, 32, 99, 111, 110, 115, 116, 32, 83, 84, 65, 84, 69, 95,
        82, 69, 65, 68, 65, 66, 76, 69, 32, 61, 32, 48, 59, 10, 32, 32, 99, 111, 110,
        115, 116, 32, 83, 84, 65, 84, 69, 95, 67, 76, 79, 83, 69, 68, 32, 61, 32, 49,
        59, 10, 32, 32, 99, 111, 110, 115, 116, 32, 83, 84, 65, 84, 69, 95, 69, 82, 82,
        79, 82, 69, 68, 32, 61, 32, 50, 59, 10, 32, 32, 99, 111, 110, 115, 116, 32, 95,
        117, 110, 100, 101, 114, 108, 121, 105, 110, 103, 83, 111, 117, 114, 99, 101,
        32, 61, 32, 118, 56, 46, 99, 114, 101, 97, 116, 101, 80, 114, 105, 118, 97, 116,
        101, 83, 121, 109, 98, 111, 108, 40, 39, 91, 91, 117, 110, 100, 101, 114, 108,
        121, 105, 110, 103, 83, 111, 117, 114, 99, 101, 93, 93, 39, 41, 59, 10, 32, 32,
        99, 111, 110, 115, 116, 32, 95, 99, 111, 110, 116, 114, 111, 108, 108, 101, 100,
        82, 101, 97, 100, 97, 98, 108, 101, 83, 116, 114, 101, 97, 109, 32, 61, 10, 32,
        32, 32, 32, 32, 32, 118, 56, 46, 99, 114, 101, 97, 116, 101, 80, 114, 105, 118,
        97, 116, 101, 83, 121, 109, 98, 111, 108, 40, 39, 91, 91, 99, 111, 110, 116,
        114, 111, 108, 108, 101, 100, 82, 101, 97, 100, 97, 98, 108, 101, 83, 116, 114,
        101, 97, 109, 93, 93, 39, 41, 59, 10, 32, 32, 99, 111, 110, 115, 116, 32, 95,
        113, 117, 101, 117, 101, 32, 61, 32, 118, 56, 46, 99, 114, 101, 97, 116, 101,
        80, 114, 105, 118, 97, 116, 101, 83, 121, 109, 98, 111, 108, 40, 39, 91, 91,
        113, 117, 101, 117, 101, 93, 93, 39, 41, 59, 10, 32, 32, 99, 111, 110, 115, 116,
        32, 95, 116, 111, 116, 97, 108, 81, 117, 101, 117, 101, 100, 83, 105, 122, 101,
        32, 61, 32, 118, 56, 46, 99, 114, 101, 97, 116, 101, 80, 114, 105, 118, 97, 116,
        101, 83, 121, 109, 98, 111, 108, 40, 39, 91, 91, 116, 111, 116, 97, 108, 81,
        117, 101, 117, 101, 100, 83, 105, 122, 101, 93, 93, 39, 41, 59, 10, 32, 32, 99,
        111, 110, 115, 116, 32, 95, 115, 116, 114, 97, 116, 101, 103, 121, 83, 105, 122,
        101, 32, 61, 32, 118, 56, 46, 99, 114, 101, 97, 116, 101, 80, 114, 105, 118, 97,
        116, 101, 83, 121, 109, 98, 111, 108, 40, 39, 91, 91, 115, 116, 114, 97, 116,
        101, 103, 121, 83, 105, 122, 101, 93, 93, 39, 41, 59, 10, 32, 32, 99, 111, 110,
        115, 116, 32, 95, 115, 116, 114, 97, 116, 101, 103, 121, 72, 87, 77, 32, 61, 32,
        118, 56, 46, 99, 114, 101, 97, 116, 101, 80, 114, 105, 118, 97, 116, 101, 83,
        121, 109, 98, 111, 108, 40, 39, 91, 91, 115, 116, 114, 97, 116, 101, 103, 121,
        72, 87, 77, 93, 93, 39, 41, 59, 10, 32, 32, 99, 111, 110, 115, 116, 32, 95, 114,
        101, 97, 100, 97, 98, 108, 101, 83, 116, 114, 101, 97, 109, 68, 101, 102, 97,
        117, 108, 116, 67, 111, 110, 116, 114, 111, 108, 108, 101, 114, 66, 105, 116,
        115, 32, 61, 32, 118, 56, 46, 99, 114, 101, 97, 116, 101, 80, 114, 105, 118, 97,
        116, 101, 83, 121, 109, 98, 111, 108, 40, 10, 32, 32, 32, 32, 32, 32, 39, 98,
        105, 116, 32, 102, 105, 101, 108, 100, 32, 102, 111, 114, 32, 91, 91, 115, 116,
        97, 114, 116, 101, 100, 93, 93, 44, 32, 91, 91, 99, 108, 111, 115, 101, 82, 101,
        113, 117, 101, 115, 116, 101, 100, 93, 93, 44, 32, 91, 91, 112, 117, 108, 108,
        105, 110, 103, 93, 93, 44, 32, 91, 91, 112, 117, 108, 108, 65, 103, 97, 105,
        110, 93, 93, 39, 41, 59, 10, 32, 32, 99, 111, 110, 115, 116, 32, 83, 84, 65, 82,
        84, 69, 68, 32, 61, 32, 48, 98, 49, 59, 10, 32, 32, 99, 111, 110, 115, 116, 32,
        67, 76, 79, 83, 69, 95, 82, 69, 81, 85, 69, 83, 84, 69, 68, 32, 61, 32, 48, 98,
        49, 48, 59, 10, 32, 32, 99, 111, 110, 115, 116, 32, 80, 85, 76, 76, 73, 78, 71,
        32, 61, 32, 48, 98, 49, 48, 48, 59, 10, 32, 32, 99, 111, 110, 115, 116, 32, 80,
        85, 76, 76, 95, 65, 71, 65, 73, 78, 32, 61, 32, 48, 98, 49, 48, 48, 48, 59, 10,
        32, 32, 99, 111, 110, 115, 116, 32, 69, 88, 84, 69, 82, 78, 65, 76, 76, 89, 95,
        67, 79, 78, 84, 82, 79, 76, 76, 69, 68, 32, 61, 32, 48, 98, 49, 48, 48, 48, 48,
        59, 10, 32, 32, 99, 111, 110, 115, 116, 32, 117, 110, 100, 101, 102, 105, 110,
        101, 100, 32, 61, 32, 103, 108, 111, 98, 97, 108, 46, 117, 110, 100, 101, 102,
        105, 110, 101, 100, 59, 10, 32, 32, 99, 111, 110, 115, 116, 32, 73, 110, 102,
        105, 110, 105, 116, 121, 32, 61, 32, 103, 108, 111, 98, 97, 108, 46, 73, 110,
        102, 105, 110, 105, 116, 121, 59, 10, 32, 32, 99, 111, 110, 115, 116, 32, 100,
        101, 102, 105, 110, 101, 80, 114, 111, 112, 101, 114, 116, 121, 32, 61, 32, 103,
        108, 111, 98, 97, 108, 46, 79, 98, 106, 101, 99, 116, 46, 100, 101, 102, 105,
        110, 101, 80, 114, 111, 112, 101, 114, 116, 121, 59, 10, 32, 32, 99, 111, 110,
        115, 116, 32, 104, 97, 115, 79, 119, 110, 80, 114, 111, 112, 101, 114, 116, 121,
        32, 61, 32, 118, 56, 46, 117, 110, 99, 117, 114, 114, 121, 84, 104, 105, 115,
        40, 103, 108, 111, 98, 97, 108, 46, 79, 98, 106, 101, 99, 116, 46, 104, 97, 115,
        79, 119, 110, 80, 114, 111, 112, 101, 114, 116, 121, 41, 59, 10, 32, 32, 99,
        111, 110, 115, 116, 32, 99, 97, 108, 108, 70, 117, 110, 99, 116, 105, 111, 110,
        32, 61, 32, 118, 56, 46, 117, 110, 99, 117, 114, 114, 121, 84, 104, 105, 115,
        40, 103, 108, 111, 98, 97, 108, 46, 70, 117, 110, 99, 116, 105, 111, 110, 46,
        112, 114, 111, 116, 111, 116, 121, 112, 101, 46, 99, 97, 108, 108, 41, 59, 10,
        32, 32, 99, 111, 110, 115, 116, 32, 84, 121, 112, 101, 69, 114, 114, 111, 114,
        32, 61, 32, 103, 108, 111, 98, 97, 108, 46, 84, 121, 112, 101, 69, 114, 114,
        111, 114, 59, 10, 32, 32, 99, 111, 110, 115, 116, 32, 82, 97, 110, 103, 101, 69,
        114, 114, 111, 114, 32, 61, 32, 103, 108, 111, 98, 97, 108, 46, 82, 97, 110,
        103, 101, 69, 114, 114, 111, 114, 59, 10, 32, 32, 99, 111, 110, 115, 116, 32,
        78, 117, 109, 98, 101, 114, 32, 61, 32, 103, 108, 111, 98, 97, 108, 46, 78, 117,
        109, 98, 101, 114, 59, 10, 32, 32, 99, 111, 110, 115, 116, 32, 78, 117, 109, 98,
        101, 114, 95, 105, 115, 78, 97, 78, 32, 61, 32, 78, 117, 109, 98, 101, 114, 46,
        105, 115, 78, 97, 78, 59, 10, 32, 32, 99, 111, 110, 115, 116, 32, 78, 117, 109,
        98, 101, 114, 95, 105, 115, 70, 105, 110, 105, 116, 101, 32, 61, 32, 78, 117,
        109, 98, 101, 114, 46, 105, 115, 70, 105, 110, 105, 116, 101, 59, 10, 32, 32,
        99, 111, 110, 115, 116, 32, 80, 114, 111, 109, 105, 115, 101, 32, 61, 32, 103,
        108, 111, 98, 97, 108, 46, 80, 114, 111, 109, 105, 115, 101, 59, 10, 32, 32, 99,
        111, 110, 115, 116, 32, 116, 104, 101, 110, 80, 114, 111, 109, 105, 115, 101,
        32, 61, 32, 118, 56, 46, 117, 110, 99, 117, 114, 114, 121, 84, 104, 105, 115,
        40, 80, 114, 111, 109, 105, 115, 101, 46, 112, 114, 111, 116, 111, 116, 121,
        112, 101, 46, 116, 104, 101, 110, 41, 59, 10, 32, 32, 99, 111, 110, 115, 116,
        32, 80, 114, 111, 109, 105, 115, 101, 95, 114, 101, 115, 111, 108, 118, 101, 32,
        61, 32, 118, 56, 46, 115, 105, 109, 112, 108, 101, 66, 105, 110, 100, 40, 80,
        114, 111, 109, 105, 115, 101, 46, 114, 101, 115, 111, 108, 118, 101, 44, 32, 80,
        114, 111, 109, 105, 115, 101, 41, 59, 10, 32, 32, 99, 111, 110, 115, 116, 32,
        80, 114, 111, 109, 105, 115, 101, 95, 114, 101, 106, 101, 99, 116, 32, 61, 32,
        118, 56, 46, 115, 105, 109, 112, 108, 101, 66, 105, 110, 100, 40, 80, 114, 111,
        109, 105, 115, 101, 46, 114, 101, 106, 101, 99, 116, 44, 32, 80, 114, 111, 109,
        105, 115, 101, 41, 59, 10, 32, 32, 99, 111, 110, 115, 116, 32, 115, 116, 114,
        101, 97, 109, 69, 114, 114, 111, 114, 115, 32, 61, 32, 98, 105, 110, 100, 105,
        110, 103, 46, 115, 116, 114, 101, 97, 109, 69, 114, 114, 111, 114, 115, 59, 10,
        32, 32, 99, 111, 110, 115, 116, 32, 101, 114, 114, 67, 97, 110, 99, 101, 108,
        76, 111, 99, 107, 101, 100, 83, 116, 114, 101, 97, 109, 32, 61, 10, 32, 32, 32,
        32, 32, 32, 39, 67, 97, 110, 110, 111, 116, 32, 99, 97, 110, 99, 101, 108, 32,
        97, 32, 114, 101, 97, 100, 97, 98, 108, 101, 32, 115, 116, 114, 101, 97, 109,
        32, 116, 104, 97, 116, 32, 105, 115, 32, 108, 111, 99, 107, 101, 100, 32, 116,
        111, 32, 97, 32, 114, 101, 97, 100, 101, 114, 39, 59, 10, 32, 32, 99, 111, 110,
        115, 116, 32, 101, 114, 114, 69, 110, 113, 117, 101, 117, 101, 67, 108, 111,
        115, 101, 82, 101, 113, 117, 101, 115, 116, 101, 100, 83, 116, 114, 101, 97,
        109, 32, 61, 10, 32, 32, 32, 32, 32, 32, 39, 67, 97, 110, 110, 111, 116, 32,
        101, 110, 113, 117, 101, 117, 101, 32, 97, 32, 99, 104, 117, 110, 107, 32, 105,
        110, 116, 111, 32, 97, 32, 114, 101, 97, 100, 97, 98, 108, 101, 32, 115, 116,
        114, 101, 97, 109, 32, 116, 104, 97, 116, 32, 105, 115, 32, 99, 108, 111, 115,
        101, 100, 32, 111, 114, 32, 104, 97, 115, 32, 98, 101, 101, 110, 32, 114, 101,
        113, 117, 101, 115, 116, 101, 100, 32, 116, 111, 32, 98, 101, 32, 99, 108, 111,
        115, 101, 100, 39, 59, 10, 32, 32, 99, 111, 110, 115, 116, 32, 101, 114, 114,
        67, 97, 110, 99, 101, 108, 82, 101, 108, 101, 97, 115, 101, 100, 82, 101, 97,
        100, 101, 114, 32, 61, 10, 32, 32, 32, 32, 32, 32, 39, 84, 104, 105, 115, 32,
        114, 101, 97, 100, 97, 98, 108, 101, 32, 115, 116, 114, 101, 97, 109, 32, 114,
        101, 97, 100, 101, 114, 32, 104, 97, 115, 32, 98, 101, 101, 110, 32, 114, 101,
        108, 101, 97, 115, 101, 100, 32, 97, 110, 100, 32, 99, 97, 110, 110, 111, 116,
        32, 98, 101, 32, 117, 115, 101, 100, 32, 116, 111, 32, 99, 97, 110, 99, 101,
        108, 32, 105, 116, 115, 32, 112, 114, 101, 118, 105, 111, 117, 115, 32, 111,
        119, 110, 101, 114, 32, 115, 116, 114, 101, 97, 109, 39, 59, 10, 32, 32, 99,
        111, 110, 115, 116, 32, 101, 114, 114, 82, 101, 97, 100, 82, 101, 108, 101, 97,
        115, 101, 100, 82, 101, 97, 100, 101, 114, 32, 61, 10, 32, 32, 32, 32, 32, 32,
        39, 84, 104, 105, 115, 32, 114, 101, 97, 100, 97, 98, 108, 101, 32, 115, 116,
        114, 101, 97, 109, 32, 114, 101, 97, 100, 101, 114, 32, 104, 97, 115, 32, 98,
        101, 101, 110, 32, 114, 101, 108, 101, 97, 115, 101, 100, 32, 97, 110, 100, 32,
        99, 97, 110, 110, 111, 116, 32, 98, 101, 32, 117, 115, 101, 100, 32, 116, 111,
        32, 114, 101, 97, 100, 32, 102, 114, 111, 109, 32, 105, 116, 115, 32, 112, 114,
        101, 118, 105, 111, 117, 115, 32, 111, 119, 110, 101, 114, 32, 115, 116, 114,
        101, 97, 109, 39, 59, 10, 32, 32, 99, 111, 110, 115, 116, 32, 101, 114, 114, 67,
        108, 111, 115, 101, 67, 108, 111, 115, 101, 82, 101, 113, 117, 101, 115, 116,
        101, 100, 83, 116, 114, 101, 97, 109, 32, 61, 10, 32, 32, 32, 32, 32, 32, 39,
        67, 97, 110, 110, 111, 116, 32, 99, 108, 111, 115, 101, 32, 97, 32, 114, 101,
        97, 100, 97, 98, 108, 101, 32, 115, 116, 114, 101, 97, 109, 32, 116, 104, 97,
        116, 32, 104, 97, 115, 32, 97, 108, 114, 101, 97, 100, 121, 32, 98, 101, 101,
        110, 32, 114, 101, 113, 117, 101, 115, 116, 101, 100, 32, 116, 111, 32, 98, 101,
        32, 99, 108, 111, 115, 101, 100, 39, 59, 10, 32, 32, 99, 111, 110, 115, 116, 32,
        101, 114, 114, 69, 110, 113, 117, 101, 117, 101, 67, 108, 111, 115, 101, 100,
        83, 116, 114, 101, 97, 109, 32, 61, 32, 39, 67, 97, 110, 110, 111, 116, 32, 101,
        110, 113, 117, 101, 117, 101, 32, 97, 32, 99, 104, 117, 110, 107, 32, 105, 110,
        116, 111, 32, 97, 32, 99, 108, 111, 115, 101, 100, 32, 114, 101, 97, 100, 97,
        98, 108, 101, 32, 115, 116, 114, 101, 97, 109, 39, 59, 10, 32, 32, 99, 111, 110,
        115, 116, 32, 101, 114, 114, 69, 110, 113, 117, 101, 117, 101, 69, 114, 114,
        111, 114, 101, 100, 83, 116, 114, 101, 97, 109, 32, 61, 32, 39, 67, 97, 110,
        110, 111, 116, 32, 101, 110, 113, 117, 101, 117, 101, 32, 97, 32, 99, 104, 117,
        110, 107, 32, 105, 110, 116, 111, 32, 97, 110, 32, 101, 114, 114, 111, 114, 101,
        100, 32, 114, 101, 97, 100, 97, 98, 108, 101, 32, 115, 116, 114, 101, 97, 109,
        39, 59, 10, 32, 32, 99, 111, 110, 115, 116, 32, 101, 114, 114, 67, 108, 111,
        115, 101, 67, 108, 111, 115, 101, 100, 83, 116, 114, 101, 97, 109, 32, 61, 32,
        39, 67, 97, 110, 110, 111, 116, 32, 99, 108, 111, 115, 101, 32, 97, 32, 99, 108,
        111, 115, 101, 100, 32, 114, 101, 97, 100, 97, 98, 108, 101, 32, 115, 116, 114,
        101, 97, 109, 39, 59, 10, 32, 32, 99, 111, 110, 115, 116, 32, 101, 114, 114, 67,
        108, 111, 115, 101, 69, 114, 114, 111, 114, 101, 100, 83, 116, 114, 101, 97,
        109, 32, 61, 32, 39, 67, 97, 110, 110, 111, 116, 32, 99, 108, 111, 115, 101, 32,
        97, 110, 32, 101, 114, 114, 111, 114, 101, 100, 32, 114, 101, 97, 100, 97, 98,
        108, 101, 32, 115, 116, 114, 101, 97, 109, 39, 59, 10, 32, 32, 99, 111, 110,
        115, 116, 32, 101, 114, 114, 69, 114, 114, 111, 114, 67, 108, 111, 115, 101,
        100, 83, 116, 114, 101, 97, 109, 32, 61, 32, 39, 67, 97, 110, 110, 111, 116, 32,
        101, 114, 114, 111, 114, 32, 97, 32, 99, 108, 111, 115, 101, 32, 114, 101, 97,
        100, 97, 98, 108, 101, 32, 115, 116, 114, 101, 97, 109, 39, 59, 10, 32, 32, 99,
        111, 110, 115, 116, 32, 101, 114, 114, 69, 114, 114, 111, 114, 69, 114, 114,
        111, 114, 101, 100, 83, 116, 114, 101, 97, 109, 32, 61, 10, 32, 32, 32, 32, 32,
        32, 39, 67, 97, 110, 110, 111, 116, 32, 101, 114, 114, 111, 114, 32, 97, 32,
        114, 101, 97, 100, 97, 98, 108, 101, 32, 115, 116, 114, 101, 97, 109, 32, 116,
        104, 97, 116, 32, 105, 115, 32, 97, 108, 114, 101, 97, 100, 121, 32, 101, 114,
        114, 111, 114, 101, 100, 39, 59, 10, 32, 32, 99, 111, 110, 115, 116, 32, 101,
        114, 114, 71, 101, 116, 82, 101, 97, 100, 101, 114, 78, 111, 116, 66, 121, 116,
        101, 83, 116, 114, 101, 97, 109, 32, 61, 32, 39, 84, 104, 105, 115, 32, 114,
        101, 97, 100, 97, 98, 108, 101, 32, 115, 116, 114, 101, 97, 109, 32, 100, 111,
        101, 115, 32, 110, 111, 116, 32, 115, 117, 112, 112, 111, 114, 116, 32, 66, 89,
        79, 66, 32, 114, 101, 97, 100, 101, 114, 115, 39, 59, 10, 32, 32, 99, 111, 110,
        115, 116, 32, 101, 114, 114, 71, 101, 116, 82, 101, 97, 100, 101, 114, 66, 97,
        100, 77, 111, 100, 101, 32, 61, 32, 39, 73, 110, 118, 97, 108, 105, 100, 32,
        114, 101, 97, 100, 101, 114, 32, 109, 111, 100, 101, 32, 103, 105, 118, 101,
        110, 58, 32, 101, 120, 112, 101, 99, 116, 101, 100, 32, 117, 110, 100, 101, 102,
        105, 110, 101, 100, 32, 111, 114, 32, 34, 98, 121, 111, 98, 34, 39, 59, 10, 32,
        32, 99, 111, 110, 115, 116, 32, 101, 114, 114, 82, 101, 97, 100, 101, 114, 67,
        111, 110, 115, 116, 114, 117, 99, 116, 111, 114, 66, 97, 100, 65, 114, 103, 117,
        109, 101, 110, 116, 32, 61, 10, 32, 32, 32, 32, 32, 32, 39, 82, 101, 97, 100,
        97, 98, 108, 101, 83, 116, 114, 101, 97, 109, 82, 101, 97, 100, 101, 114, 32,
        99, 111, 110, 115, 116, 114, 117, 99, 116, 111, 114, 32, 97, 114, 103, 117, 109,
        101, 110, 116, 32, 105, 115, 32, 110, 111, 116, 32, 97, 32, 114, 101, 97, 100,
        97, 98, 108, 101, 32, 115, 116, 114, 101, 97, 109, 39, 59, 10, 32, 32, 99, 111,
        110, 115, 116, 32, 101, 114, 114, 82, 101, 97, 100, 101, 114, 67, 111, 110, 115,
        116, 114, 117, 99, 116, 111, 114, 83, 116, 114, 101, 97, 109, 65, 108, 114, 101,
        97, 100, 121, 76, 111, 99, 107, 101, 100, 32, 61, 10, 32, 32, 32, 32, 32, 32,
        39, 82, 101, 97, 100, 97, 98, 108, 101, 83, 116, 114, 101, 97, 109, 82, 101, 97,
        100, 101, 114, 32, 99, 111, 110, 115, 116, 114, 117, 99, 116, 111, 114, 32, 99,
        97, 110, 32, 111, 110, 108, 121, 32, 97, 99, 99, 101, 112, 116, 32, 114, 101,
        97, 100, 97, 98, 108, 101, 32, 115, 116, 114, 101, 97, 109, 115, 32, 116, 104,
        97, 116, 32, 97, 114, 101, 32, 110, 111, 116, 32, 121, 101, 116, 32, 108, 111,
        99, 107, 101, 100, 32, 116, 111, 32, 97, 32, 114, 101, 97, 100, 101, 114, 39,
        59, 10, 32, 32, 99, 111, 110, 115, 116, 32, 101, 114, 114, 82, 101, 108, 101,
        97, 115, 101, 82, 101, 97, 100, 101, 114, 87, 105, 116, 104, 80, 101, 110, 100,
        105, 110, 103, 82, 101, 97, 100, 32, 61, 10, 32, 32, 32, 32, 32, 32, 39, 67, 97,
        110, 110, 111, 116, 32, 114, 101, 108, 101, 97, 115, 101, 32, 97, 32, 114, 101,
        97, 100, 97, 98, 108, 101, 32, 115, 116, 114, 101, 97, 109, 32, 114, 101, 97,
        100, 101, 114, 32, 119, 104, 101, 110, 32, 105, 116, 32, 115, 116, 105, 108,
        108, 32, 104, 97, 115, 32, 111, 117, 116, 115, 116, 97, 110, 100, 105, 110, 103,
        32, 114, 101, 97, 100, 40, 41, 32, 99, 97, 108, 108, 115, 32, 116, 104, 97, 116,
        32, 104, 97, 118, 101, 32, 110, 111, 116, 32, 121, 101, 116, 32, 115, 101, 116,
        116, 108, 101, 100, 39, 59, 10, 32, 32, 99, 111, 110, 115, 116, 32, 101, 114,
        114, 82, 101, 108, 101, 97, 115, 101, 100, 82, 101, 97, 100, 101, 114, 67, 108,
        111, 115, 101, 100, 80, 114, 111, 109, 105, 115, 101, 32, 61, 10, 32, 32, 32,
        32, 32, 32, 39, 84, 104, 105, 115, 32, 114, 101, 97, 100, 97, 98, 108, 101, 32,
        115, 116, 114, 101, 97, 109, 32, 114, 101, 97, 100, 101, 114, 32, 104, 97, 115,
        32, 98, 101, 101, 110, 32, 114, 101, 108, 101, 97, 115, 101, 100, 32, 97, 110,
        100, 32, 99, 97, 110, 110, 111, 116, 32, 98, 101, 32, 117, 115, 101, 100, 32,
        116, 111, 32, 109, 111, 110, 105, 116, 111, 114, 32, 116, 104, 101, 32, 115,
        116, 114, 101, 97, 109, 92, 39, 115, 32, 115, 116, 97, 116, 101, 39, 59, 10, 32,
        32, 99, 111, 110, 115, 116, 32, 101, 114, 114, 84, 109, 112, 108, 77, 117, 115,
        116, 66, 101, 70, 117, 110, 99, 116, 105, 111, 110, 79, 114, 85, 110, 100, 101,
        102, 105, 110, 101, 100, 32, 61, 32, 110, 97, 109, 101, 32, 61, 62, 10, 32, 32,
        32, 32, 32, 32, 96, 36, 123, 110, 97, 109, 101, 125, 32, 109, 117, 115, 116, 32,
        98, 101, 32, 97, 32, 102, 117, 110, 99, 116, 105, 111, 110, 32, 111, 114, 32,
        117, 110, 100, 101, 102, 105, 110, 101, 100, 96, 59, 10, 32, 32, 99, 108, 97,
        115, 115, 32, 82, 101, 97, 100, 97, 98, 108, 101, 83, 116, 114, 101, 97, 109,
        32, 123, 10, 32, 32, 32, 32, 99, 111, 110, 115, 116, 114, 117, 99, 116, 111,
        114, 40, 41, 32, 123, 10, 32, 32, 32, 32, 32, 32, 99, 111, 110, 115, 116, 32,
        117, 110, 100, 101, 114, 108, 121, 105, 110, 103, 83, 111, 117, 114, 99, 101,
        32, 61, 32, 97, 114, 103, 117, 109, 101, 110, 116, 115, 91, 48, 93, 32, 61, 61,
        61, 32, 117, 110, 100, 101, 102, 105, 110, 101, 100, 32, 63, 32, 123, 125, 32,
        58, 32, 97, 114, 103, 117, 109, 101, 110, 116, 115, 91, 48, 93, 59, 10, 32, 32,
        32, 32, 32, 32, 99, 111, 110, 115, 116, 32, 115, 116, 114, 97, 116, 101, 103,
        121, 32, 61, 32, 97, 114, 103, 117, 109, 101, 110, 116, 115, 91, 49, 93, 32, 61,
        61, 61, 32, 117, 110, 100, 101, 102, 105, 110, 101, 100, 32, 63, 32, 123, 125,
        32, 58, 32, 97, 114, 103, 117, 109, 101, 110, 116, 115, 91, 49, 93, 59, 10, 32,
        32, 32, 32, 32, 32, 99, 111, 110, 115, 116, 32, 115, 105, 122, 101, 32, 61, 32,
        115, 116, 114, 97, 116, 101, 103, 121, 46, 115, 105, 122, 101, 59, 10, 32, 32,
        32, 32, 32, 32, 108, 101, 116, 32, 104, 105, 103, 104, 87, 97, 116, 101, 114,
        77, 97, 114, 107, 32, 61, 32, 115, 116, 114, 97, 116, 101, 103, 121, 46, 104,
        105, 103, 104, 87, 97, 116, 101, 114, 77, 97, 114, 107, 59, 10, 32, 32, 32, 32,
        32, 32, 105, 102, 32, 40, 104, 105, 103, 104, 87, 97, 116, 101, 114, 77, 97,
        114, 107, 32, 61, 61, 61, 32, 117, 110, 100, 101, 102, 105, 110, 101, 100, 41,
        32, 123, 10, 32, 32, 32, 32, 32, 32, 32, 32, 104, 105, 103, 104, 87, 97, 116,
        101, 114, 77, 97, 114, 107, 32, 61, 32, 49, 59, 10, 32, 32, 32, 32, 32, 32, 125,
        10, 32, 32, 32, 32, 32, 32, 116, 104, 105, 115, 91, 95, 114, 101, 97, 100, 97,
        98, 108, 101, 83, 116, 114, 101, 97, 109, 66, 105, 116, 115, 93, 32, 61, 32, 48,
        98, 48, 59, 10, 32, 32, 32, 32, 32, 32, 82, 101, 97, 100, 97, 98, 108, 101, 83,
        116, 114, 101, 97, 109, 83, 101, 116, 83, 116, 97, 116, 101, 40, 116, 104, 105,
        115, 44, 32, 83, 84, 65, 84, 69, 95, 82, 69, 65, 68, 65, 66, 76, 69, 41, 59, 10,
        32, 32, 32, 32, 32, 32, 116, 104, 105, 115, 91, 95, 114, 101, 97, 100, 101, 114,
        93, 32, 61, 32, 117, 110, 100, 101, 102, 105, 110, 101, 100, 59, 10, 32, 32, 32,
        32, 32, 32, 116, 104, 105, 115, 91, 95, 115, 116, 111, 114, 101, 100, 69, 114,
        114, 111, 114, 93, 32, 61, 32, 117, 110, 100, 101, 102, 105, 110, 101, 100, 59,
        10, 32, 32, 32, 32, 32, 32, 116, 104, 105, 115, 91, 95, 99, 111, 110, 116, 114,
        111, 108, 108, 101, 114, 93, 32, 61, 32, 117, 110, 100, 101, 102, 105, 110, 101,
        100, 59, 10, 32, 32, 32, 32, 32, 32, 99, 111, 110, 115, 116, 32, 116, 121, 112,
        101, 32, 61, 32, 117, 110, 100, 101, 114, 108, 121, 105, 110, 103, 83, 111, 117,
        114, 99, 101, 46, 116, 121, 112, 101, 59, 10, 32, 32, 32, 32, 32, 32, 99, 111,
        110, 115, 116, 32, 116, 121, 112, 101, 83, 116, 114, 105, 110, 103, 32, 61, 32,
        83, 116, 114, 105, 110, 103, 40, 116, 121, 112, 101, 41, 59, 10, 32, 32, 32, 32,
        32, 32, 105, 102, 32, 40, 116, 121, 112, 101, 83, 116, 114, 105, 110, 103, 32,
        61, 61, 61, 32, 39, 98, 121, 116, 101, 115, 39, 41, 32, 123, 10, 32, 32, 32, 32,
        32, 32, 32, 32, 116, 104, 114, 111, 119, 32, 110, 101, 119, 32, 82, 97, 110,
        103, 101, 69, 114, 114, 111, 114, 40, 39, 98, 121, 116, 101, 115, 32, 116, 121,
        112, 101, 32, 105, 115, 32, 110, 111, 116, 32, 121, 101, 116, 32, 105, 109, 112,
        108, 101, 109, 101, 110, 116, 101, 100, 39, 41, 59, 10, 32, 32, 32, 32, 32, 32,
        125, 32, 101, 108, 115, 101, 32, 105, 102, 32, 40, 116, 121, 112, 101, 32, 33,
        61, 61, 32, 117, 110, 100, 101, 102, 105, 110, 101, 100, 41, 32, 123, 10, 32,
        32, 32, 32, 32, 32, 32, 32, 116, 104, 114, 111, 119, 32, 110, 101, 119, 32, 82,
        97, 110, 103, 101, 69, 114, 114, 111, 114, 40, 115, 116, 114, 101, 97, 109, 69,
        114, 114, 111, 114, 115, 46, 105, 110, 118, 97, 108, 105, 100, 84, 121, 112,
        101, 41, 59, 10, 32, 32, 32, 32, 32, 32, 125, 10, 32, 32, 32, 32, 32, 32, 116,
        104, 105, 115, 91, 95, 99, 111, 110, 116, 114, 111, 108, 108, 101, 114, 93, 32,
        61, 10, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 110, 101, 119, 32, 82, 101, 97,
        100, 97, 98, 108, 101, 83, 116, 114, 101, 97, 109, 68, 101, 102, 97, 117, 108,
        116, 67, 111, 110, 116, 114, 111, 108, 108, 101, 114, 40, 116, 104, 105, 115,
        44, 32, 117, 110, 100, 101, 114, 108, 121, 105, 110, 103, 83, 111, 117, 114, 99,
        101, 44, 32, 115, 105, 122, 101, 44, 32, 104, 105, 103, 104, 87, 97, 116, 101,
        114, 77, 97, 114, 107, 44, 32, 97, 114, 103, 117, 109, 101, 110, 116, 115, 91,
        50, 93, 32, 61, 61, 61, 32, 99, 114, 101, 97, 116, 101, 87, 105, 116, 104, 69,
        120, 116, 101, 114, 110, 97, 108, 67, 111, 110, 116, 114, 111, 108, 108, 101,
        114, 83, 101, 110, 116, 105, 110, 101, 108, 41, 59, 10, 32, 32, 32, 32, 125, 10,
        32, 32, 32, 32, 103, 101, 116, 32, 108, 111, 99, 107, 101, 100, 40, 41, 32, 123,
        10, 32, 32, 32, 32, 32, 32, 105, 102, 32, 40, 73, 115, 82, 101, 97, 100, 97, 98,
        108, 101, 83, 116, 114, 101, 97, 109, 40, 116, 104, 105, 115, 41, 32, 61, 61,
        61, 32, 102, 97, 108, 115, 101, 41, 32, 123, 10, 32, 32, 32, 32, 32, 32, 32, 32,
        116, 104, 114, 111, 119, 32, 110, 101, 119, 32, 84, 121, 112, 101, 69, 114, 114,
        111, 114, 40, 115, 116, 114, 101, 97, 109, 69, 114, 114, 111, 114, 115, 46, 105,
        108, 108, 101, 103, 97, 108, 73, 110, 118, 111, 99, 97, 116, 105, 111, 110, 41,
        59, 10, 32, 32, 32, 32, 32, 32, 125, 10, 32, 32, 32, 32, 32, 32, 114, 101, 116,
        117, 114, 110, 32, 73, 115, 82, 101, 97, 100, 97, 98, 108, 101, 83, 116, 114,
        101, 97, 109, 76, 111, 99, 107, 101, 100, 40, 116, 104, 105, 115, 41, 59, 10,
        32, 32, 32, 32, 125, 10, 32, 32, 32, 32, 99, 97, 110, 99, 101, 108, 40, 114,
        101, 97, 115, 111, 110, 41, 32, 123, 10, 32, 32, 32, 32, 32, 32, 105, 102, 32,
        40, 73, 115, 82, 101, 97, 100, 97, 98, 108, 101, 83, 116, 114, 101, 97, 109, 40,
        116, 104, 105, 115, 41, 32, 61, 61, 61, 32, 102, 97, 108, 115, 101, 41, 32, 123,
        10, 32, 32, 32, 32, 32, 32, 32, 32, 114, 101, 116, 117, 114, 110, 32, 80, 114,
        111, 109, 105, 115, 101, 95, 114, 101, 106, 101, 99, 116, 40, 110, 101, 119, 32,
        84, 121, 112, 101, 69, 114, 114, 111, 114, 40, 115, 116, 114, 101, 97, 109, 69,
        114, 114, 111, 114, 115, 46, 105, 108, 108, 101, 103, 97, 108, 73, 110, 118,
        111, 99, 97, 116, 105, 111, 110, 41, 41, 59, 10, 32, 32, 32, 32, 32, 32, 125,
        10, 32, 32, 32, 32, 32, 32, 105, 102, 32, 40, 73, 115, 82, 101, 97, 100, 97, 98,
        108, 101, 83, 116, 114, 101, 97, 109, 76, 111, 99, 107, 101, 100, 40, 116, 104,
        105, 115, 41, 32, 61, 61, 61, 32, 116, 114, 117, 101, 41, 32, 123, 10, 32, 32,
        32, 32, 32, 32, 32, 32, 114, 101, 116, 117, 114, 110, 32, 80, 114, 111, 109,
        105, 115, 101, 95, 114, 101, 106, 101, 99, 116, 40, 110, 101, 119, 32, 84, 121,
        112, 101, 69, 114, 114, 111, 114, 40, 101, 114, 114, 67, 97, 110, 99, 101, 108,
        76, 111, 99, 107, 101, 100, 83, 116, 114, 101, 97, 109, 41, 41, 59, 10, 32, 32,
        32, 32, 32, 32, 125, 10, 32, 32, 32, 32, 32, 32, 114, 101, 116, 117, 114, 110,
        32, 82, 101, 97, 100, 97, 98, 108, 101, 83, 116, 114, 101, 97, 109, 67, 97, 110,
        99, 101, 108, 40, 116, 104, 105, 115, 44, 32, 114, 101, 97, 115, 111, 110, 41,
        59, 10, 32, 32, 32, 32, 125, 10, 32, 32, 32, 32, 103, 101, 116, 82, 101, 97,
        100, 101, 114, 40, 123, 32, 109, 111, 100, 101, 32, 125, 32, 61, 32, 123, 125,
        41, 32, 123, 10, 32, 32, 32, 32, 32, 32, 105, 102, 32, 40, 73, 115, 82, 101, 97,
        100, 97, 98, 108, 101, 83, 116, 114, 101, 97, 109, 40, 116, 104, 105, 115, 41,
        32, 61, 61, 61, 32, 102, 97, 108, 115, 101, 41, 32, 123, 10, 32, 32, 32, 32, 32,
        32, 32, 32, 116, 104, 114, 111, 119, 32, 110, 101, 119, 32, 84, 121, 112, 101,
        69, 114, 114, 111, 114, 40, 115, 116, 114, 101, 97, 109, 69, 114, 114, 111, 114,
        115, 46, 105, 108, 108, 101, 103, 97, 108, 73, 110, 118, 111, 99, 97, 116, 105,
        111, 110, 41, 59, 10, 32, 32, 32, 32, 32, 32, 125, 10, 32, 32, 32, 32, 32, 32,
        105, 102, 32, 40, 109, 111, 100, 101, 32, 61, 61, 61, 32, 39, 98, 121, 111, 98,
        39, 41, 32, 123, 10, 32, 32, 32, 32, 32, 32, 32, 32, 116, 104, 114, 111, 119,
        32, 110, 101, 119, 32, 84, 121, 112, 101, 69, 114, 114, 111, 114, 40, 101, 114,
        114, 71, 101, 116, 82, 101, 97, 100, 101, 114, 78, 111, 116, 66, 121, 116, 101,
        83, 116, 114, 101, 97, 109, 41, 59, 10, 32, 32, 32, 32, 32, 32, 125, 10, 32, 32,
        32, 32, 32, 32, 105, 102, 32, 40, 109, 111, 100, 101, 32, 61, 61, 61, 32, 117,
        110, 100, 101, 102, 105, 110, 101, 100, 41, 32, 123, 10, 32, 32, 32, 32, 32, 32,
        32, 32, 114, 101, 116, 117, 114, 110, 32, 65, 99, 113, 117, 105, 114, 101, 82,
        101, 97, 100, 97, 98, 108, 101, 83, 116, 114, 101, 97, 109, 68, 101, 102, 97,
        117, 108, 116, 82, 101, 97, 100, 101, 114, 40, 116, 104, 105, 115, 41, 59, 10,
        32, 32, 32, 32, 32, 32, 125, 10, 32, 32, 32, 32, 32, 32, 116, 104, 114, 111,
        119, 32, 110, 101, 119, 32, 82, 97, 110, 103, 101, 69, 114, 114, 111, 114, 40,
        101, 114, 114, 71, 101, 116, 82, 101, 97, 100, 101, 114, 66, 97, 100, 77, 111,
        100, 101, 41, 59, 10, 32, 32, 32, 32, 125, 10, 32, 32, 32, 32, 116, 101, 101,
        40, 41, 32, 123, 10, 32, 32, 32, 32, 32, 32, 105, 102, 32, 40, 73, 115, 82, 101,
        97, 100, 97, 98, 108, 101, 83, 116, 114, 101, 97, 109, 40, 116, 104, 105, 115,
        41, 32, 61, 61, 61, 32, 102, 97, 108, 115, 101, 41, 32, 123, 10, 32, 32, 32, 32,
        32, 32, 32, 32, 116, 104, 114, 111, 119, 32, 110, 101, 119, 32, 84, 121, 112,
        101, 69, 114, 114, 111, 114, 40, 115, 116, 114, 101, 97, 109, 69, 114, 114, 111,
        114, 115, 46, 105, 108, 108, 101, 103, 97, 108, 73, 110, 118, 111, 99, 97, 116,
        105, 111, 110, 41, 59, 10, 32, 32, 32, 32, 32, 32, 125, 10, 32, 32, 32, 32, 32,
        32, 114, 101, 116, 117, 114, 110, 32, 82, 101, 97, 100, 97, 98, 108, 101, 83,
        116, 114, 101, 97, 109, 84, 101, 101, 40, 116, 104, 105, 115, 41, 59, 10, 32,
        32, 32, 32, 125, 10, 32, 32, 125, 10, 32, 32, 99, 108, 97, 115, 115, 32, 82,
        101, 97, 100, 97, 98, 108, 101, 83, 116, 114, 101, 97, 109, 68, 101, 102, 97,
        117, 108, 116, 67, 111, 110, 116, 114, 111, 108, 108, 101, 114, 32, 123, 10, 32,
        32, 32, 32, 99, 111, 110, 115, 116, 114, 117, 99, 116, 111, 114, 40, 115, 116,
        114, 101, 97, 109, 44, 32, 117, 110, 100, 101, 114, 108, 121, 105, 110, 103, 83,
        111, 117, 114, 99, 101, 44, 32, 115, 105, 122, 101, 44, 32, 104, 105, 103, 104,
        87, 97, 116, 101, 114, 77, 97, 114, 107, 44, 32, 105, 115, 69, 120, 116, 101,
        114, 110, 97, 108, 108, 121, 67, 111, 110, 116, 114, 111, 108, 108, 101, 100,
        41, 32, 123, 10, 32, 32, 32, 32, 32, 32, 105, 102, 32, 40, 73, 115, 82, 101, 97,
        100, 97, 98, 108, 101, 83, 116, 114, 101, 97, 109, 40, 115, 116, 114, 101, 97,
        109, 41, 32, 61, 61, 61, 32, 102, 97, 108, 115, 101, 41, 32, 123, 10, 32, 32,
        32, 32, 32, 32, 32, 32, 116, 104, 114, 111, 119, 32, 110, 101, 119, 32, 84, 121,
        112, 101, 69, 114, 114, 111, 114, 40, 115, 116, 114, 101, 97, 109, 69, 114, 114,
        111, 114, 115, 46, 105, 108, 108, 101, 103, 97, 108, 67, 111, 110, 115, 116,
        114, 117, 99, 116, 111, 114, 41, 59, 10, 32, 32, 32, 32, 32, 32, 125, 10, 32,
        32, 32, 32, 32, 32, 105, 102, 32, 40, 115, 116, 114, 101, 97, 109, 91, 95, 99,
        111, 110, 116, 114, 111, 108, 108, 101, 114, 93, 32, 33, 61, 61, 32, 117, 110,
        100, 101, 102, 105, 110, 101, 100, 41, 32, 123, 10, 32, 32, 32, 32, 32, 32, 32,
        32, 116, 104, 114, 111, 119, 32, 110, 101, 119, 32, 84, 121, 112, 101, 69, 114,
        114, 111, 114, 40, 115, 116, 114, 101, 97, 109, 69, 114, 114, 111, 114, 115, 46,
        105, 108, 108, 101, 103, 97, 108, 67, 111, 110, 115, 116, 114, 117, 99, 116,
        111, 114, 41, 59, 10, 32, 32, 32, 32, 32, 32, 125, 10, 32, 32, 32, 32, 32, 32,
        116, 104, 105, 115, 91, 95, 99, 111, 110, 116, 114, 111, 108, 108, 101, 100, 82,
        101, 97, 100, 97, 98, 108, 101, 83, 116, 114, 101, 97, 109, 93, 32, 61, 32, 115,
        116, 114, 101, 97, 109, 59, 10, 32, 32, 32, 32, 32, 32, 116, 104, 105, 115, 91,
        95, 117, 110, 100, 101, 114, 108, 121, 105, 110, 103, 83, 111, 117, 114, 99,
        101, 93, 32, 61, 32, 117, 110, 100, 101, 114, 108, 121, 105, 110, 103, 83, 111,
        117, 114, 99, 101, 59, 10, 32, 32, 32, 32, 32, 32, 116, 104, 105, 115, 91, 95,
        113, 117, 101, 117, 101, 93, 32, 61, 32, 110, 101, 119, 32, 118, 56, 46, 73,
        110, 116, 101, 114, 110, 97, 108, 80, 97, 99, 107, 101, 100, 65, 114, 114, 97,
        121, 40, 41, 59, 10, 32, 32, 32, 32, 32, 32, 116, 104, 105, 115, 91, 95, 116,
        111, 116, 97, 108, 81, 117, 101, 117, 101, 100, 83, 105, 122, 101, 93, 32, 61,
        32, 48, 59, 10, 32, 32, 32, 32, 32, 32, 116, 104, 105, 115, 91, 95, 114, 101,
        97, 100, 97, 98, 108, 101, 83, 116, 114, 101, 97, 109, 68, 101, 102, 97, 117,
        108, 116, 67, 111, 110, 116, 114, 111, 108, 108, 101, 114, 66, 105, 116, 115,
        93, 32, 61, 32, 48, 98, 48, 59, 10, 32, 32, 32, 32, 32, 32, 105, 102, 32, 40,
        105, 115, 69, 120, 116, 101, 114, 110, 97, 108, 108, 121, 67, 111, 110, 116,
        114, 111, 108, 108, 101, 100, 32, 61, 61, 61, 32, 116, 114, 117, 101, 41, 32,
        123, 10, 32, 32, 32, 32, 32, 32, 32, 32, 116, 104, 105, 115, 91, 95, 114, 101,
        97, 100, 97, 98, 108, 101, 83, 116, 114, 101, 97, 109, 68, 101, 102, 97, 117,
        108, 116, 67, 111, 110, 116, 114, 111, 108, 108, 101, 114, 66, 105, 116, 115,
        93, 32, 124, 61, 32, 69, 88, 84, 69, 82, 78, 65, 76, 76, 89, 95, 67, 79, 78, 84,
        82, 79, 76, 76, 69, 68, 59, 10, 32, 32, 32, 32, 32, 32, 125, 10, 32, 32, 32, 32,
        32, 32, 99, 111, 110, 115, 116, 32, 110, 111, 114, 109, 97, 108, 105, 122, 101,
        100, 83, 116, 114, 97, 116, 101, 103, 121, 32, 61, 10, 32, 32, 32, 32, 32, 32,
        32, 32, 32, 32, 86, 97, 108, 105, 100, 97, 116, 101, 65, 110, 100, 78, 111, 114,
        109, 97, 108, 105, 122, 101, 81, 117, 101, 117, 105, 110, 103, 83, 116, 114, 97,
        116, 101, 103, 121, 40, 115, 105, 122, 101, 44, 32, 104, 105, 103, 104, 87, 97,
        116, 101, 114, 77, 97, 114, 107, 41, 59, 10, 32, 32, 32, 32, 32, 32, 116, 104,
        105, 115, 91, 95, 115, 116, 114, 97, 116, 101, 103, 121, 83, 105, 122, 101, 93,
        32, 61, 32, 110, 111, 114, 109, 97, 108, 105, 122, 101, 100, 83, 116, 114, 97,
        116, 101, 103, 121, 46, 115, 105, 122, 101, 59, 10, 32, 32, 32, 32, 32, 32, 116,
        104, 105, 115, 91, 95, 115, 116, 114, 97, 116, 101, 103, 121, 72, 87, 77, 93,
        32, 61, 32, 110, 111, 114, 109, 97, 108, 105, 122, 101, 100, 83, 116, 114, 97,
        116, 101, 103, 121, 46, 104, 105, 103, 104, 87, 97, 116, 101, 114, 77, 97, 114,
        107, 59, 10, 32, 32, 32, 32, 32, 32, 99, 111, 110, 115, 116, 32, 99, 111, 110,
        116, 114, 111, 108, 108, 101, 114, 32, 61, 32, 116, 104, 105, 115, 59, 10, 32,
        32, 32, 32, 32, 32, 99, 111, 110, 115, 116, 32, 115, 116, 97, 114, 116, 82, 101,
        115, 117, 108, 116, 32, 61, 32, 67, 97, 108, 108, 79, 114, 78, 111, 111, 112,
        40, 10, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 117, 110, 100, 101, 114, 108,
        121, 105, 110, 103, 83, 111, 117, 114, 99, 101, 44, 32, 39, 115, 116, 97, 114,
        116, 39, 44, 32, 116, 104, 105, 115, 44, 32, 39, 117, 110, 100, 101, 114, 108,
        121, 105, 110, 103, 83, 111, 117, 114, 99, 101, 46, 115, 116, 97, 114, 116, 39,
        41, 59, 10, 32, 32, 32, 32, 32, 32, 116, 104, 101, 110, 80, 114, 111, 109, 105,
        115, 101, 40, 80, 114, 111, 109, 105, 115, 101, 95, 114, 101, 115, 111, 108,
        118, 101, 40, 115, 116, 97, 114, 116, 82, 101, 115, 117, 108, 116, 41, 44, 10,
        32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 40, 41, 32, 61, 62, 32, 123, 10, 32, 32,
        32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 99, 111, 110, 116, 114, 111, 108, 108,
        101, 114, 91, 95, 114, 101, 97, 100, 97, 98, 108, 101, 83, 116, 114, 101, 97,
        109, 68, 101, 102, 97, 117, 108, 116, 67, 111, 110, 116, 114, 111, 108, 108,
        101, 114, 66, 105, 116, 115, 93, 32, 124, 61, 32, 83, 84, 65, 82, 84, 69, 68,
        59, 10, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 82, 101, 97, 100, 97,
        98, 108, 101, 83, 116, 114, 101, 97, 109, 68, 101, 102, 97, 117, 108, 116, 67,
        111, 110, 116, 114, 111, 108, 108, 101, 114, 67, 97, 108, 108, 80, 117, 108,
        108, 73, 102, 78, 101, 101, 100, 101, 100, 40, 99, 111, 110, 116, 114, 111, 108,
        108, 101, 114, 41, 59, 10, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 125, 44, 10,
        32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 114, 32, 61, 62, 32, 123, 10, 32, 32,
        32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 105, 102, 32, 40, 82, 101, 97, 100, 97,
        98, 108, 101, 83, 116, 114, 101, 97, 109, 71, 101, 116, 83, 116, 97, 116, 101,
        40, 115, 116, 114, 101, 97, 109, 41, 32, 61, 61, 61, 32, 83, 84, 65, 84, 69, 95,
        82, 69, 65, 68, 65, 66, 76, 69, 41, 32, 123, 10, 32, 32, 32, 32, 32, 32, 32, 32,
        32, 32, 32, 32, 32, 32, 82, 101, 97, 100, 97, 98, 108, 101, 83, 116, 114, 101,
        97, 109, 68, 101, 102, 97, 117, 108, 116, 67, 111, 110, 116, 114, 111, 108, 108,
        101, 114, 69, 114, 114, 111, 114, 40, 99, 111, 110, 116, 114, 111, 108, 108,
        101, 114, 44, 32, 114, 41, 59, 10, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32,
        32, 125, 10, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 125, 41, 59, 10, 32, 32,
        32, 32, 125, 10, 32, 32, 32, 32, 103, 101, 116, 32, 100, 101, 115, 105, 114,
        101, 100, 83, 105, 122, 101, 40, 41, 32, 123, 10, 32, 32, 32, 32, 32, 32, 105,
        102, 32, 40, 73, 115, 82, 101, 97, 100, 97, 98, 108, 101, 83, 116, 114, 101, 97,
        109, 68, 101, 102, 97, 117, 108, 116, 67, 111, 110, 116, 114, 111, 108, 108,
        101, 114, 40, 116, 104, 105, 115, 41, 32, 61, 61, 61, 32, 102, 97, 108, 115,
        101, 41, 32, 123, 10, 32, 32, 32, 32, 32, 32, 32, 32, 116, 104, 114, 111, 119,
        32, 110, 101, 119, 32, 84, 121, 112, 101, 69, 114, 114, 111, 114, 40, 115, 116,
        114, 101, 97, 109, 69, 114, 114, 111, 114, 115, 46, 105, 108, 108, 101, 103, 97,
        108, 73, 110, 118, 111, 99, 97, 116, 105, 111, 110, 41, 59, 10, 32, 32, 32, 32,
        32, 32, 125, 10, 32, 32, 32, 32, 32, 32, 114, 101, 116, 117, 114, 110, 32, 82,
        101, 97, 100, 97, 98, 108, 101, 83, 116, 114, 101, 97, 109, 68, 101, 102, 97,
        117, 108, 116, 67, 111, 110, 116, 114, 111, 108, 108, 101, 114, 71, 101, 116,
        68, 101, 115, 105, 114, 101, 100, 83, 105, 122, 101, 40, 116, 104, 105, 115, 41,
        59, 10, 32, 32, 32, 32, 125, 10, 32, 32, 32, 32, 99, 108, 111, 115, 101, 40, 41,
        32, 123, 10, 32, 32, 32, 32, 32, 32, 105, 102, 32, 40, 73, 115, 82, 101, 97,
        100, 97, 98, 108, 101, 83, 116, 114, 101, 97, 109, 68, 101, 102, 97, 117, 108,
        116, 67, 111, 110, 116, 114, 111, 108, 108, 101, 114, 40, 116, 104, 105, 115,
        41, 32, 61, 61, 61, 32, 102, 97, 108, 115, 101, 41, 32, 123, 10, 32, 32, 32, 32,
        32, 32, 32, 32, 116, 104, 114, 111, 119, 32, 110, 101, 119, 32, 84, 121, 112,
        101, 69, 114, 114, 111, 114, 40, 115, 116, 114, 101, 97, 109, 69, 114, 114, 111,
        114, 115, 46, 105, 108, 108, 101, 103, 97, 108, 73, 110, 118, 111, 99, 97, 116,
        105, 111, 110, 41, 59, 10, 32, 32, 32, 32, 32, 32, 125, 10, 32, 32, 32, 32, 32,
        32, 99, 111, 110, 115, 116, 32, 115, 116, 114, 101, 97, 109, 32, 61, 32, 116,
        104, 105, 115, 91, 95, 99, 111, 110, 116, 114, 111, 108, 108, 101, 100, 82, 101,
        97, 100, 97, 98, 108, 101, 83, 116, 114, 101, 97, 109, 93, 59, 10, 32, 32, 32,
        32, 32, 32, 105, 102, 32, 40, 116, 104, 105, 115, 91, 95, 114, 101, 97, 100, 97,
        98, 108, 101, 83, 116, 114, 101, 97, 109, 68, 101, 102, 97, 117, 108, 116, 67,
        111, 110, 116, 114, 111, 108, 108, 101, 114, 66, 105, 116, 115, 93, 32, 38, 32,
        67, 76, 79, 83, 69, 95, 82, 69, 81, 85, 69, 83, 84, 69, 68, 41, 32, 123, 10, 32,
        32, 32, 32, 32, 32, 32, 32, 116, 104, 114, 111, 119, 32, 110, 101, 119, 32, 84,
        121, 112, 101, 69, 114, 114, 111, 114, 40, 101, 114, 114, 67, 108, 111, 115,
        101, 67, 108, 111, 115, 101, 82, 101, 113, 117, 101, 115, 116, 101, 100, 83,
        116, 114, 101, 97, 109, 41, 59, 10, 32, 32, 32, 32, 32, 32, 125, 10, 32, 32, 32,
        32, 32, 32, 99, 111, 110, 115, 116, 32, 115, 116, 97, 116, 101, 32, 61, 32, 82,
        101, 97, 100, 97, 98, 108, 101, 83, 116, 114, 101, 97, 109, 71, 101, 116, 83,
        116, 97, 116, 101, 40, 115, 116, 114, 101, 97, 109, 41, 59, 10, 32, 32, 32, 32,
        32, 32, 105, 102, 32, 40, 115, 116, 97, 116, 101, 32, 61, 61, 61, 32, 83, 84,
        65, 84, 69, 95, 69, 82, 82, 79, 82, 69, 68, 41, 32, 123, 10, 32, 32, 32, 32, 32,
        32, 32, 32, 116, 104, 114, 111, 119, 32, 110, 101, 119, 32, 84, 121, 112, 101,
        69, 114, 114, 111, 114, 40, 101, 114, 114, 67, 108, 111, 115, 101, 69, 114, 114,
        111, 114, 101, 100, 83, 116, 114, 101, 97, 109, 41, 59, 10, 32, 32, 32, 32, 32,
        32, 125, 10, 32, 32, 32, 32, 32, 32, 105, 102, 32, 40, 115, 116, 97, 116, 101,
        32, 61, 61, 61, 32, 83, 84, 65, 84, 69, 95, 67, 76, 79, 83, 69, 68, 41, 32, 123,
        10, 32, 32, 32, 32, 32, 32, 32, 32, 116, 104, 114, 111, 119, 32, 110, 101, 119,
        32, 84, 121, 112, 101, 69, 114, 114, 111, 114, 40, 101, 114, 114, 67, 108, 111,
        115, 101, 67, 108, 111, 115, 101, 100, 83, 116, 114, 101, 97, 109, 41, 59, 10,
        32, 32, 32, 32, 32, 32, 125, 10, 32, 32, 32, 32, 32, 32, 114, 101, 116, 117,
        114, 110, 32, 82, 101, 97, 100, 97, 98, 108, 101, 83, 116, 114, 101, 97, 109,
        68, 101, 102, 97, 117, 108, 116, 67, 111, 110, 116, 114, 111, 108, 108, 101,
        114, 67, 108, 111, 115, 101, 40, 116, 104, 105, 115, 41, 59, 10, 32, 32, 32, 32,
        125, 10, 32, 32, 32, 32, 101, 110, 113, 117, 101, 117, 101, 40, 99, 104, 117,
        110, 107, 41, 32, 123, 10, 32, 32, 32, 32, 32, 32, 105, 102, 32, 40, 73, 115,
        82, 101, 97, 100, 97, 98, 108, 101, 83, 116, 114, 101, 97, 109, 68, 101, 102,
        97, 117, 108, 116, 67, 111, 110, 116, 114, 111, 108, 108, 101, 114, 40, 116,
        104, 105, 115, 41, 32, 61, 61, 61, 32, 102, 97, 108, 115, 101, 41, 32, 123, 10,
        32, 32, 32, 32, 32, 32, 32, 32, 116, 104, 114, 111, 119, 32, 110, 101, 119, 32,
        84, 121, 112, 101, 69, 114, 114, 111, 114, 40, 115, 116, 114, 101, 97, 109, 69,
        114, 114, 111, 114, 115, 46, 105, 108, 108, 101, 103, 97, 108, 73, 110, 118,
        111, 99, 97, 116, 105, 111, 110, 41, 59, 10, 32, 32, 32, 32, 32, 32, 125, 10,
        32, 32, 32, 32, 32, 32, 99, 111, 110, 115, 116, 32, 115, 116, 114, 101, 97, 109,
        32, 61, 32, 116, 104, 105, 115, 91, 95, 99, 111, 110, 116, 114, 111, 108, 108,
        101, 100, 82, 101, 97, 100, 97, 98, 108, 101, 83, 116, 114, 101, 97, 109, 93,
        59, 10, 32, 32, 32, 32, 32, 32, 105, 102, 32, 40, 116, 104, 105, 115, 91, 95,
        114, 101, 97, 100, 97, 98, 108, 101, 83, 116, 114, 101, 97, 109, 68, 101, 102,
        97, 117, 108, 116, 67, 111, 110, 116, 114, 111, 108, 108, 101, 114, 66, 105,
        116, 115, 93, 32, 38, 32, 67, 76, 79, 83, 69, 95, 82, 69, 81, 85, 69, 83, 84,
        69, 68, 41, 32, 123, 10, 32, 32, 32, 32, 32, 32, 32, 32, 116, 104, 114, 111,
        119, 32, 110, 101, 119, 32, 84, 121, 112, 101, 69, 114, 114, 111, 114, 40, 101,
        114, 114, 69, 110, 113, 117, 101, 117, 101, 67, 108, 111, 115, 101, 82, 101,
        113, 117, 101, 115, 116, 101, 100, 83, 116, 114, 101, 97, 109, 41, 59, 10, 32,
        32, 32, 32, 32, 32, 125, 10, 32, 32, 32, 32, 32, 32, 99, 111, 110, 115, 116, 32,
        115, 116, 97, 116, 101, 32, 61, 32, 82, 101, 97, 100, 97, 98, 108, 101, 83, 116,
        114, 101, 97, 109, 71, 101, 116, 83, 116, 97, 116, 101, 40, 115, 116, 114, 101,
        97, 109, 41, 59, 10, 32, 32, 32, 32, 32, 32, 105, 102, 32, 40, 115, 116, 97,
        116, 101, 32, 61, 61, 61, 32, 83, 84, 65, 84, 69, 95, 69, 82, 82, 79, 82, 69,
        68, 41, 32, 123, 10, 32, 32, 32, 32, 32, 32, 32, 32, 116, 104, 114, 111, 119,
        32, 110, 101, 119, 32, 84, 121, 112, 101, 69, 114, 114, 111, 114, 40, 101, 114,
        114, 69, 110, 113, 117, 101, 117, 101, 69, 114, 114, 111, 114, 101, 100, 83,
        116, 114, 101, 97, 109, 41, 59, 10, 32, 32, 32, 32, 32, 32, 125, 10, 32, 32, 32,
        32, 32, 32, 105, 102, 32, 40, 115, 116, 97, 116, 101, 32, 61, 61, 61, 32, 83,
        84, 65, 84, 69, 95, 67, 76, 79, 83, 69, 68, 41, 32, 123, 10, 32, 32, 32, 32, 32,
        32, 32, 32, 116, 104, 114, 111, 119, 32, 110, 101, 119, 32, 84, 121, 112, 101,
        69, 114, 114, 111, 114, 40, 101, 114, 114, 69, 110, 113, 117, 101, 117, 101, 67,
        108, 111, 115, 101, 100, 83, 116, 114, 101, 97, 109, 41, 59, 10, 32, 32, 32, 32,
        32, 32, 125, 10, 32, 32, 32, 32, 32, 32, 114, 101, 116, 117, 114, 110, 32, 82,
        101, 97, 100, 97, 98, 108, 101, 83, 116, 114, 101, 97, 109, 68, 101, 102, 97,
        117, 108, 116, 67, 111, 110, 116, 114, 111, 108, 108, 101, 114, 69, 110, 113,
        117, 101, 117, 101, 40, 116, 104, 105, 115, 44, 32, 99, 104, 117, 110, 107, 41,
        59, 10, 32, 32, 32, 32, 125, 10, 32, 32, 32, 32, 101, 114, 114, 111, 114, 40,
        101, 41, 32, 123, 10, 32, 32, 32, 32, 32, 32, 105, 102, 32, 40, 73, 115, 82,
        101, 97, 100, 97, 98, 108, 101, 83, 116, 114, 101, 97, 109, 68, 101, 102, 97,
        117, 108, 116, 67, 111, 110, 116, 114, 111, 108, 108, 101, 114, 40, 116, 104,
        105, 115, 41, 32, 61, 61, 61, 32, 102, 97, 108, 115, 101, 41, 32, 123, 10, 32,
        32, 32, 32, 32, 32, 32, 32, 116, 104, 114, 111, 119, 32, 110, 101, 119, 32, 84,
        121, 112, 101, 69, 114, 114, 111, 114, 40, 115, 116, 114, 101, 97, 109, 69, 114,
        114, 111, 114, 115, 46, 105, 108, 108, 101, 103, 97, 108, 73, 110, 118, 111, 99,
        97, 116, 105, 111, 110, 41, 59, 10, 32, 32, 32, 32, 32, 32, 125, 10, 32, 32, 32,
        32, 32, 32, 99, 111, 110, 115, 116, 32, 115, 116, 114, 101, 97, 109, 32, 61, 32,
        116, 104, 105, 115, 91, 95, 99, 111, 110, 116, 114, 111, 108, 108, 101, 100, 82,
        101, 97, 100, 97, 98, 108, 101, 83, 116, 114, 101, 97, 109, 93, 59, 10, 32, 32,
        32, 32, 32, 32, 99, 111, 110, 115, 116, 32, 115, 116, 97, 116, 101, 32, 61, 32,
        82, 101, 97, 100, 97, 98, 108, 101, 83, 116, 114, 101, 97, 109, 71, 101, 116,
        83, 116, 97, 116, 101, 40, 115, 116, 114, 101, 97, 109, 41, 59, 10, 32, 32, 32,
        32, 32, 32, 105, 102, 32, 40, 115, 116, 97, 116, 101, 32, 61, 61, 61, 32, 83,
        84, 65, 84, 69, 95, 69, 82, 82, 79, 82, 69, 68, 41, 32, 123, 10, 32, 32, 32, 32,
        32, 32, 32, 32, 116, 104, 114, 111, 119, 32, 110, 101, 119, 32, 84, 121, 112,
        101, 69, 114, 114, 111, 114, 40, 101, 114, 114, 69, 114, 114, 111, 114, 69, 114,
        114, 111, 114, 101, 100, 83, 116, 114, 101, 97, 109, 41, 59, 10, 32, 32, 32, 32,
        32, 32, 125, 10, 32, 32, 32, 32, 32, 32, 105, 102, 32, 40, 115, 116, 97, 116,
        101, 32, 61, 61, 61, 32, 83, 84, 65, 84, 69, 95, 67, 76, 79, 83, 69, 68, 41, 32,
        123, 10, 32, 32, 32, 32, 32, 32, 32, 32, 116, 104, 114, 111, 119, 32, 110, 101,
        119, 32, 84, 121, 112, 101, 69, 114, 114, 111, 114, 40, 101, 114, 114, 69, 114,
        114, 111, 114, 67, 108, 111, 115, 101, 100, 83, 116, 114, 101, 97, 109, 41, 59,
        10, 32, 32, 32, 32, 32, 32, 125, 10, 32, 32, 32, 32, 32, 32, 114, 101, 116, 117,
        114, 110, 32, 82, 101, 97, 100, 97, 98, 108, 101, 83, 116, 114, 101, 97, 109,
        68, 101, 102, 97, 117, 108, 116, 67, 111, 110, 116, 114, 111, 108, 108, 101,
        114, 69, 114, 114, 111, 114, 40, 116, 104, 105, 115, 44, 32, 101, 41, 59, 10,
        32, 32, 32, 32, 125, 10, 32, 32, 125, 10, 32, 32, 102, 117, 110, 99, 116, 105,
        111, 110, 32, 82, 101, 97, 100, 97, 98, 108, 101, 83, 116, 114, 101, 97, 109,
        68, 101, 102, 97, 117, 108, 116, 67, 111, 110, 116, 114, 111, 108, 108, 101,
        114, 67, 97, 110, 99, 101, 108, 40, 99, 111, 110, 116, 114, 111, 108, 108, 101,
        114, 44, 32, 114, 101, 97, 115, 111, 110, 41, 32, 123, 10, 32, 32, 32, 32, 99,
        111, 110, 116, 114, 111, 108, 108, 101, 114, 91, 95, 113, 117, 101, 117, 101,
        93, 32, 61, 32, 110, 101, 119, 32, 118, 56, 46, 73, 110, 116, 101, 114, 110, 97,
        108, 80, 97, 99, 107, 101, 100, 65, 114, 114, 97, 121, 40, 41, 59, 10, 32, 32,
        32, 32, 99, 111, 110, 115, 116, 32, 117, 110, 100, 101, 114, 108, 121, 105, 110,
        103, 83, 111, 117, 114, 99, 101, 32, 61, 32, 99, 111, 110, 116, 114, 111, 108,
        108, 101, 114, 91, 95, 117, 110, 100, 101, 114, 108, 121, 105, 110, 103, 83,
        111, 117, 114, 99, 101, 93, 59, 10, 32, 32, 32, 32, 114, 101, 116, 117, 114,
        110, 32, 80, 114, 111, 109, 105, 115, 101, 67, 97, 108, 108, 79, 114, 78, 111,
        111, 112, 40, 117, 110, 100, 101, 114, 108, 121, 105, 110, 103, 83, 111, 117,
        114, 99, 101, 44, 32, 39, 99, 97, 110, 99, 101, 108, 39, 44, 32, 114, 101, 97,
        115, 111, 110, 44, 32, 39, 117, 110, 100, 101, 114, 108, 121, 105, 110, 103, 83,
        111, 117, 114, 99, 101, 46, 99, 97, 110, 99, 101, 108, 39, 41, 59, 10, 32, 32,
        125, 10, 32, 32, 102, 117, 110, 99, 116, 105, 111, 110, 32, 82, 101, 97, 100,
        97, 98, 108, 101, 83, 116, 114, 101, 97, 109, 68, 101, 102, 97, 117, 108, 116,
        67, 111, 110, 116, 114, 111, 108, 108, 101, 114, 80, 117, 108, 108, 40, 99, 111,
        110, 116, 114, 111, 108, 108, 101, 114, 41, 32, 123, 10, 32, 32, 32, 32, 99,
        111, 110, 115, 116, 32, 115, 116, 114, 101, 97, 109, 32, 61, 32, 99, 111, 110,
        116, 114, 111, 108, 108, 101, 114, 91, 95, 99, 111, 110, 116, 114, 111, 108,
        108, 101, 100, 82, 101, 97, 100, 97, 98, 108, 101, 83, 116, 114, 101, 97, 109,
        93, 59, 10, 32, 32, 32, 32, 105, 102, 32, 40, 99, 111, 110, 116, 114, 111, 108,
        108, 101, 114, 91, 95, 113, 117, 101, 117, 101, 93, 46, 108, 101, 110, 103, 116,
        104, 32, 62, 32, 48, 41, 32, 123, 10, 32, 32, 32, 32, 32, 32, 99, 111, 110, 115,
        116, 32, 99, 104, 117, 110, 107, 32, 61, 32, 68, 101, 113, 117, 101, 117, 101,
        86, 97, 108, 117, 101, 40, 99, 111, 110, 116, 114, 111, 108, 108, 101, 114, 41,
        59, 10, 32, 32, 32, 32, 32, 32, 105, 102, 32, 40, 40, 99, 111, 110, 116, 114,
        111, 108, 108, 101, 114, 91, 95, 114, 101, 97, 100, 97, 98, 108, 101, 83, 116,
        114, 101, 97, 109, 68, 101, 102, 97, 117, 108, 116, 67, 111, 110, 116, 114, 111,
        108, 108, 101, 114, 66, 105, 116, 115, 93, 32, 38, 32, 67, 76, 79, 83, 69, 95,
        82, 69, 81, 85, 69, 83, 84, 69, 68, 41, 32, 38, 38, 10, 32, 32, 32, 32, 32, 32,
        32, 32, 32, 32, 99, 111, 110, 116, 114, 111, 108, 108, 101, 114, 91, 95, 113,
        117, 101, 117, 101, 93, 46, 108, 101, 110, 103, 116, 104, 32, 61, 61, 61, 32,
        48, 41, 32, 123, 10, 32, 32, 32, 32, 32, 32, 32, 32, 82, 101, 97, 100, 97, 98,
        108, 101, 83, 116, 114, 101, 97, 109, 67, 108, 111, 115, 101, 40, 115, 116, 114,
        101, 97, 109, 41, 59, 10, 32, 32, 32, 32, 32, 32, 125, 32, 101, 108, 115, 101,
        32, 123, 10, 32, 32, 32, 32, 32, 32, 32, 32, 82, 101, 97, 100, 97, 98, 108, 101,
        83, 116, 114, 101, 97, 109, 68, 101, 102, 97, 117, 108, 116, 67, 111, 110, 116,
        114, 111, 108, 108, 101, 114, 67, 97, 108, 108, 80, 117, 108, 108, 73, 102, 78,
        101, 101, 100, 101, 100, 40, 99, 111, 110, 116, 114, 111, 108, 108, 101, 114,
        41, 59, 10, 32, 32, 32, 32, 32, 32, 125, 10, 32, 32, 32, 32, 32, 32, 114, 101,
        116, 117, 114, 110, 32, 80, 114, 111, 109, 105, 115, 101, 95, 114, 101, 115,
        111, 108, 118, 101, 40, 67, 114, 101, 97, 116, 101, 73, 116, 101, 114, 82, 101,
        115, 117, 108, 116, 79, 98, 106, 101, 99, 116, 40, 99, 104, 117, 110, 107, 44,
        32, 102, 97, 108, 115, 101, 41, 41, 59, 10, 32, 32, 32, 32, 125, 10, 32, 32, 32,
        32, 99, 111, 110, 115, 116, 32, 112, 101, 110, 100, 105, 110, 103, 80, 114, 111,
        109, 105, 115, 101, 32, 61, 32, 82, 101, 97, 100, 97, 98, 108, 101, 83, 116,
        114, 101, 97, 109, 65, 100, 100, 82, 101, 97, 100, 82, 101, 113, 117, 101, 115,
        116, 40, 115, 116, 114, 101, 97, 109, 41, 59, 10, 32, 32, 32, 32, 82, 101, 97,
        100, 97, 98, 108, 101, 83, 116, 114, 101, 97, 109, 68, 101, 102, 97, 117, 108,
        116, 67, 111, 110, 116, 114, 111, 108, 108, 101, 114, 67, 97, 108, 108, 80, 117,
        108, 108, 73, 102, 78, 101, 101, 100, 101, 100, 40, 99, 111, 110, 116, 114, 111,
        108, 108, 101, 114, 41, 59, 10, 32, 32, 32, 32, 114, 101, 116, 117, 114, 110,
        32, 112, 101, 110, 100, 105, 110, 103, 80, 114, 111, 109, 105, 115, 101, 59, 10,
        32, 32, 125, 10, 32, 32, 102, 117, 110, 99, 116, 105, 111, 110, 32, 82, 101, 97,
        100, 97, 98, 108, 101, 83, 116, 114, 101, 97, 109, 65, 100, 100, 82, 101, 97,
        100, 82, 101, 113, 117, 101, 115, 116, 40, 115, 116, 114, 101, 97, 109, 41, 32,
        123, 10, 32, 32, 32, 32, 99, 111, 110, 115, 116, 32, 112, 114, 111, 109, 105,
        115, 101, 32, 61, 32, 118, 56, 46, 99, 114, 101, 97, 116, 101, 80, 114, 111,
        109, 105, 115, 101, 40, 41, 59, 10, 32, 32, 32, 32, 115, 116, 114, 101, 97, 109,
        91, 95, 114, 101, 97, 100, 101, 114, 93, 91, 95, 114, 101, 97, 100, 82, 101,
        113, 117, 101, 115, 116, 115, 93, 46, 112, 117, 115, 104, 40, 112, 114, 111,
        109, 105, 115, 101, 41, 59, 10, 32, 32, 32, 32, 114, 101, 116, 117, 114, 110,
        32, 112, 114, 111, 109, 105, 115, 101, 59, 10, 32, 32, 125, 10, 32, 32, 99, 108,
        97, 115, 115, 32, 82, 101, 97, 100, 97, 98, 108, 101, 83, 116, 114, 101, 97,
        109, 68, 101, 102, 97, 117, 108, 116, 82, 101, 97, 100, 101, 114, 32, 123, 10,
        32, 32, 32, 32, 99, 111, 110, 115, 116, 114, 117, 99, 116, 111, 114, 40, 115,
        116, 114, 101, 97, 109, 41, 32, 123, 10, 32, 32, 32, 32, 32, 32, 105, 102, 32,
        40, 73, 115, 82, 101, 97, 100, 97, 98, 108, 101, 83, 116, 114, 101, 97, 109, 40,
        115, 116, 114, 101, 97, 109, 41, 32, 61, 61, 61, 32, 102, 97, 108, 115, 101, 41,
        32, 123, 10, 32, 32, 32, 32, 32, 32, 32, 32, 116, 104, 114, 111, 119, 32, 110,
        101, 119, 32, 84, 121, 112, 101, 69, 114, 114, 111, 114, 40, 101, 114, 114, 82,
        101, 97, 100, 101, 114, 67, 111, 110, 115, 116, 114, 117, 99, 116, 111, 114, 66,
        97, 100, 65, 114, 103, 117, 109, 101, 110, 116, 41, 59, 10, 32, 32, 32, 32, 32,
        32, 125, 10, 32, 32, 32, 32, 32, 32, 105, 102, 32, 40, 73, 115, 82, 101, 97,
        100, 97, 98, 108, 101, 83, 116, 114, 101, 97, 109, 76, 111, 99, 107, 101, 100,
        40, 115, 116, 114, 101, 97, 109, 41, 32, 61, 61, 61, 32, 116, 114, 117, 101, 41,
        32, 123, 10, 32, 32, 32, 32, 32, 32, 32, 32, 116, 104, 114, 111, 119, 32, 110,
        101, 119, 32, 84, 121, 112, 101, 69, 114, 114, 111, 114, 40, 101, 114, 114, 82,
        101, 97, 100, 101, 114, 67, 111, 110, 115, 116, 114, 117, 99, 116, 111, 114, 83,
        116, 114, 101, 97, 109, 65, 108, 114, 101, 97, 100, 121, 76, 111, 99, 107, 101,
        100, 41, 59, 10, 32, 32, 32, 32, 32, 32, 125, 10, 32, 32, 32, 32, 32, 32, 82,
        101, 97, 100, 97, 98, 108, 101, 83, 116, 114, 101, 97, 109, 82, 101, 97, 100,
        101, 114, 71, 101, 110, 101, 114, 105, 99, 73, 110, 105, 116, 105, 97, 108, 105,
        122, 101, 40, 116, 104, 105, 115, 44, 32, 115, 116, 114, 101, 97, 109, 41, 59,
        10, 32, 32, 32, 32, 32, 32, 116, 104, 105, 115, 91, 95, 114, 101, 97, 100, 82,
        101, 113, 117, 101, 115, 116, 115, 93, 32, 61, 32, 110, 101, 119, 32, 118, 56,
        46, 73, 110, 116, 101, 114, 110, 97, 108, 80, 97, 99, 107, 101, 100, 65, 114,
        114, 97, 121, 40, 41, 59, 10, 32, 32, 32, 32, 125, 10, 32, 32, 32, 32, 103, 101,
        116, 32, 99, 108, 111, 115, 101, 100, 40, 41, 32, 123, 10, 32, 32, 32, 32, 32,
        32, 105, 102, 32, 40, 73, 115, 82, 101, 97, 100, 97, 98, 108, 101, 83, 116, 114,
        101, 97, 109, 68, 101, 102, 97, 117, 108, 116, 82, 101, 97, 100, 101, 114, 40,
        116, 104, 105, 115, 41, 32, 61, 61, 61, 32, 102, 97, 108, 115, 101, 41, 32, 123,
        10, 32, 32, 32, 32, 32, 32, 32, 32, 114, 101, 116, 117, 114, 110, 32, 80, 114,
        111, 109, 105, 115, 101, 95, 114, 101, 106, 101, 99, 116, 40, 110, 101, 119, 32,
        84, 121, 112, 101, 69, 114, 114, 111, 114, 40, 115, 116, 114, 101, 97, 109, 69,
        114, 114, 111, 114, 115, 46, 105, 108, 108, 101, 103, 97, 108, 73, 110, 118,
        111, 99, 97, 116, 105, 111, 110, 41, 41, 59, 10, 32, 32, 32, 32, 32, 32, 125,
        10, 32, 32, 32, 32, 32, 32, 114, 101, 116, 117, 114, 110, 32, 116, 104, 105,
        115, 91, 95, 99, 108, 111, 115, 101, 100, 80, 114, 111, 109, 105, 115, 101, 93,
        59, 10, 32, 32, 32, 32, 125, 10, 32, 32, 32, 32, 99, 97, 110, 99, 101, 108, 40,
        114, 101, 97, 115, 111, 110, 41, 32, 123, 10, 32, 32, 32, 32, 32, 32, 105, 102,
        32, 40, 73, 115, 82, 101, 97, 100, 97, 98, 108, 101, 83, 116, 114, 101, 97, 109,
        68, 101, 102, 97, 117, 108, 116, 82, 101, 97, 100, 101, 114, 40, 116, 104, 105,
        115, 41, 32, 61, 61, 61, 32, 102, 97, 108, 115, 101, 41, 32, 123, 10, 32, 32,
        32, 32, 32, 32, 32, 32, 114, 101, 116, 117, 114, 110, 32, 80, 114, 111, 109,
        105, 115, 101, 95, 114, 101, 106, 101, 99, 116, 40, 110, 101, 119, 32, 84, 121,
        112, 101, 69, 114, 114, 111, 114, 40, 115, 116, 114, 101, 97, 109, 69, 114, 114,
        111, 114, 115, 46, 105, 108, 108, 101, 103, 97, 108, 73, 110, 118, 111, 99, 97,
        116, 105, 111, 110, 41, 41, 59, 10, 32, 32, 32, 32, 32, 32, 125, 10, 32, 32, 32,
        32, 32, 32, 99, 111, 110, 115, 116, 32, 115, 116, 114, 101, 97, 109, 32, 61, 32,
        116, 104, 105, 115, 91, 95, 111, 119, 110, 101, 114, 82, 101, 97, 100, 97, 98,
        108, 101, 83, 116, 114, 101, 97, 109, 93, 59, 10, 32, 32, 32, 32, 32, 32, 105,
        102, 32, 40, 115, 116, 114, 101, 97, 109, 32, 61, 61, 61, 32, 117, 110, 100,
        101, 102, 105, 110, 101, 100, 41, 32, 123, 10, 32, 32, 32, 32, 32, 32, 32, 32,
        114, 101, 116, 117, 114, 110, 32, 80, 114, 111, 109, 105, 115, 101, 95, 114,
        101, 106, 101, 99, 116, 40, 110, 101, 119, 32, 84, 121, 112, 101, 69, 114, 114,
        111, 114, 40, 101, 114, 114, 67, 97, 110, 99, 101, 108, 82, 101, 108, 101, 97,
        115, 101, 100, 82, 101, 97, 100, 101, 114, 41, 41, 59, 10, 32, 32, 32, 32, 32,
        32, 125, 10, 32, 32, 32, 32, 32, 32, 114, 101, 116, 117, 114, 110, 32, 82, 101,
        97, 100, 97, 98, 108, 101, 83, 116, 114, 101, 97, 109, 82, 101, 97, 100, 101,
        114, 71, 101, 110, 101, 114, 105, 99, 67, 97, 110, 99, 101, 108, 40, 116, 104,
        105, 115, 44, 32, 114, 101, 97, 115, 111, 110, 41, 59, 10, 32, 32, 32, 32, 125,
        10, 32, 32, 32, 32, 114, 101, 97, 100, 40, 41, 32, 123, 10, 32, 32, 32, 32, 32,
        32, 105, 102, 32, 40, 73, 115, 82, 101, 97, 100, 97, 98, 108, 101, 83, 116, 114,
        101, 97, 109, 68, 101, 102, 97, 117, 108, 116, 82, 101, 97, 100, 101, 114, 40,
        116, 104, 105, 115, 41, 32, 61, 61, 61, 32, 102, 97, 108, 115, 101, 41, 32, 123,
        10, 32, 32, 32, 32, 32, 32, 32, 32, 114, 101, 116, 117, 114, 110, 32, 80, 114,
        111, 109, 105, 115, 101, 95, 114, 101, 106, 101, 99, 116, 40, 110, 101, 119, 32,
        84, 121, 112, 101, 69, 114, 114, 111, 114, 40, 115, 116, 114, 101, 97, 109, 69,
        114, 114, 111, 114, 115, 46, 105, 108, 108, 101, 103, 97, 108, 73, 110, 118,
        111, 99, 97, 116, 105, 111, 110, 41, 41, 59, 10, 32, 32, 32, 32, 32, 32, 125,
        10, 32, 32, 32, 32, 32, 32, 105, 102, 32, 40, 116, 104, 105, 115, 91, 95, 111,
        119, 110, 101, 114, 82, 101, 97, 100, 97, 98, 108, 101, 83, 116, 114, 101, 97,
        109, 93, 32, 61, 61, 61, 32, 117, 110, 100, 101, 102, 105, 110, 101, 100, 41,
        32, 123, 10, 32, 32, 32, 32, 32, 32, 32, 32, 114, 101, 116, 117, 114, 110, 32,
        80, 114, 111, 109, 105, 115, 101, 95, 114, 101, 106, 101, 99, 116, 40, 110, 101,
        119, 32, 84, 121, 112, 101, 69, 114, 114, 111, 114, 40, 101, 114, 114, 82, 101,
        97, 100, 82, 101, 108, 101, 97, 115, 101, 100, 82, 101, 97, 100, 101, 114, 41,
        41, 59, 10, 32, 32, 32, 32, 32, 32, 125, 10, 32, 32, 32, 32, 32, 32, 114, 101,
        116, 117, 114, 110, 32, 82, 101, 97, 100, 97, 98, 108, 101, 83, 116, 114, 101,
        97, 109, 68, 101, 102, 97, 117, 108, 116, 82, 101, 97, 100, 101, 114, 82, 101,
        97, 100, 40, 116, 104, 105, 115, 41, 59, 10, 32, 32, 32, 32, 125, 10, 32, 32,
        32, 32, 114, 101, 108, 101, 97, 115, 101, 76, 111, 99, 107, 40, 41, 32, 123, 10,
        32, 32, 32, 32, 32, 32, 105, 102, 32, 40, 73, 115, 82, 101, 97, 100, 97, 98,
        108, 101, 83, 116, 114, 101, 97, 109, 68, 101, 102, 97, 117, 108, 116, 82, 101,
        97, 100, 101, 114, 40, 116, 104, 105, 115, 41, 32, 61, 61, 61, 32, 102, 97, 108,
        115, 101, 41, 32, 123, 10, 32, 32, 32, 32, 32, 32, 32, 32, 116, 104, 114, 111,
        119, 32, 110, 101, 119, 32, 84, 121, 112, 101, 69, 114, 114, 111, 114, 40, 115,
        116, 114, 101, 97, 109, 69, 114, 114, 111, 114, 115, 46, 105, 108, 108, 101,
        103, 97, 108, 73, 110, 118, 111, 99, 97, 116, 105, 111, 110, 41, 59, 10, 32, 32,
        32, 32, 32, 32, 125, 10, 32, 32, 32, 32, 32, 32, 99, 111, 110, 115, 116, 32,
        115, 116, 114, 101, 97, 109, 32, 61, 32, 116, 104, 105, 115, 91, 95, 111, 119,
        110, 101, 114, 82, 101, 97, 100, 97, 98, 108, 101, 83, 116, 114, 101, 97, 109,
        93, 59, 10, 32, 32, 32, 32, 32, 32, 105, 102, 32, 40, 115, 116, 114, 101, 97,
        109, 32, 61, 61, 61, 32, 117, 110, 100, 101, 102, 105, 110, 101, 100, 41, 32,
        123, 10, 32, 32, 32, 32, 32, 32, 32, 32, 114, 101, 116, 117, 114, 110, 32, 117,
        110, 100, 101, 102, 105, 110, 101, 100, 59, 10, 32, 32, 32, 32, 32, 32, 125, 10,
        32, 32, 32, 32, 32, 32, 105, 102, 32, 40, 116, 104, 105, 115, 91, 95, 114, 101,
        97, 100, 82, 101, 113, 117, 101, 115, 116, 115, 93, 46, 108, 101, 110, 103, 116,
        104, 32, 62, 32, 48, 41, 32, 123, 10, 32, 32, 32, 32, 32, 32, 32, 32, 116, 104,
        114, 111, 119, 32, 110, 101, 119, 32, 84, 121, 112, 101, 69, 114, 114, 111, 114,
        40, 101, 114, 114, 82, 101, 108, 101, 97, 115, 101, 82, 101, 97, 100, 101, 114,
        87, 105, 116, 104, 80, 101, 110, 100, 105, 110, 103, 82, 101, 97, 100, 41, 59,
        10, 32, 32, 32, 32, 32, 32, 125, 10, 32, 32, 32, 32, 32, 32, 82, 101, 97, 100,
        97, 98, 108, 101, 83, 116, 114, 101, 97, 109, 82, 101, 97, 100, 101, 114, 71,
        101, 110, 101, 114, 105, 99, 82, 101, 108, 101, 97, 115, 101, 40, 116, 104, 105,
        115, 41, 59, 10, 32, 32, 32, 32, 125, 10, 32, 32, 125, 10, 32, 32, 102, 117,
        110, 99, 116, 105, 111, 110, 32, 82, 101, 97, 100, 97, 98, 108, 101, 83, 116,
        114, 101, 97, 109, 82, 101, 97, 100, 101, 114, 71, 101, 110, 101, 114, 105, 99,
        67, 97, 110, 99, 101, 108, 40, 114, 101, 97, 100, 101, 114, 44, 32, 114, 101,
        97, 115, 111, 110, 41, 32, 123, 10, 32, 32, 32, 32, 114, 101, 116, 117, 114,
        110, 32, 82, 101, 97, 100, 97, 98, 108, 101, 83, 116, 114, 101, 97, 109, 67, 97,
        110, 99, 101, 108, 40, 114, 101, 97, 100, 101, 114, 91, 95, 111, 119, 110, 101,
        114, 82, 101, 97, 100, 97, 98, 108, 101, 83, 116, 114, 101, 97, 109, 93, 44, 32,
        114, 101, 97, 115, 111, 110, 41, 59, 10, 32, 32, 125, 10, 32, 32, 102, 117, 110,
        99, 116, 105, 111, 110, 32, 65, 99, 113, 117, 105, 114, 101, 82, 101, 97, 100,
        97, 98, 108, 101, 83, 116, 114, 101, 97, 109, 68, 101, 102, 97, 117, 108, 116,
        82, 101, 97, 100, 101, 114, 40, 115, 116, 114, 101, 97, 109, 41, 32, 123, 10,
        32, 32, 32, 32, 114, 101, 116, 117, 114, 110, 32, 110, 101, 119, 32, 82, 101,
        97, 100, 97, 98, 108, 101, 83, 116, 114, 101, 97, 109, 68, 101, 102, 97, 117,
        108, 116, 82, 101, 97, 100, 101, 114, 40, 115, 116, 114, 101, 97, 109, 41, 59,
        10, 32, 32, 125, 10, 32, 32, 102, 117, 110, 99, 116, 105, 111, 110, 32, 82, 101,
        97, 100, 97, 98, 108, 101, 83, 116, 114, 101, 97, 109, 67, 97, 110, 99, 101,
        108, 40, 115, 116, 114, 101, 97, 109, 44, 32, 114, 101, 97, 115, 111, 110, 41,
        32, 123, 10, 32, 32, 32, 32, 115, 116, 114, 101, 97, 109, 91, 95, 114, 101, 97,
        100, 97, 98, 108, 101, 83, 116, 114, 101, 97, 109, 66, 105, 116, 115, 93, 32,
        124, 61, 32, 68, 73, 83, 84, 85, 82, 66, 69, 68, 59, 10, 32, 32, 32, 32, 99,
        111, 110, 115, 116, 32, 115, 116, 97, 116, 101, 32, 61, 32, 82, 101, 97, 100,
        97, 98, 108, 101, 83, 116, 114, 101, 97, 109, 71, 101, 116, 83, 116, 97, 116,
        101, 40, 115, 116, 114, 101, 97, 109, 41, 59, 10, 32, 32, 32, 32, 105, 102, 32,
        40, 115, 116, 97, 116, 101, 32, 61, 61, 61, 32, 83, 84, 65, 84, 69, 95, 67, 76,
        79, 83, 69, 68, 41, 32, 123, 10, 32, 32, 32, 32, 32, 32, 114, 101, 116, 117,
        114, 110, 32, 80, 114, 111, 109, 105, 115, 101, 95, 114, 101, 115, 111, 108,
        118, 101, 40, 117, 110, 100, 101, 102, 105, 110, 101, 100, 41, 59, 10, 32, 32,
        32, 32, 125, 10, 32, 32, 32, 32, 105, 102, 32, 40, 115, 116, 97, 116, 101, 32,
        61, 61, 61, 32, 83, 84, 65, 84, 69, 95, 69, 82, 82, 79, 82, 69, 68, 41, 32, 123,
        10, 32, 32, 32, 32, 32, 32, 114, 101, 116, 117, 114, 110, 32, 80, 114, 111, 109,
        105, 115, 101, 95, 114, 101, 106, 101, 99, 116, 40, 115, 116, 114, 101, 97, 109,
        91, 95, 115, 116, 111, 114, 101, 100, 69, 114, 114, 111, 114, 93, 41, 59, 10,
        32, 32, 32, 32, 125, 10, 32, 32, 32, 32, 82, 101, 97, 100, 97, 98, 108, 101, 83,
        116, 114, 101, 97, 109, 67, 108, 111, 115, 101, 40, 115, 116, 114, 101, 97, 109,
        41, 59, 10, 32, 32, 32, 32, 99, 111, 110, 115, 116, 32, 115, 111, 117, 114, 99,
        101, 67, 97, 110, 99, 101, 108, 80, 114, 111, 109, 105, 115, 101, 32, 61, 32,
        82, 101, 97, 100, 97, 98, 108, 101, 83, 116, 114, 101, 97, 109, 68, 101, 102,
        97, 117, 108, 116, 67, 111, 110, 116, 114, 111, 108, 108, 101, 114, 67, 97, 110,
        99, 101, 108, 40, 115, 116, 114, 101, 97, 109, 91, 95, 99, 111, 110, 116, 114,
        111, 108, 108, 101, 114, 93, 44, 32, 114, 101, 97, 115, 111, 110, 41, 59, 10,
        32, 32, 32, 32, 114, 101, 116, 117, 114, 110, 32, 116, 104, 101, 110, 80, 114,
        111, 109, 105, 115, 101, 40, 115, 111, 117, 114, 99, 101, 67, 97, 110, 99, 101,
        108, 80, 114, 111, 109, 105, 115, 101, 44, 32, 40, 41, 32, 61, 62, 32, 117, 110,
        100, 101, 102, 105, 110, 101, 100, 41, 59, 10, 32, 32, 125, 10, 32, 32, 102,
        117, 110, 99, 116, 105, 111, 110, 32, 82, 101, 97, 100, 97, 98, 108, 101, 83,
        116, 114, 101, 97, 109, 68, 101, 102, 97, 117, 108, 116, 67, 111, 110, 116, 114,
        111, 108, 108, 101, 114, 67, 108, 111, 115, 101, 40, 99, 111, 110, 116, 114,
        111, 108, 108, 101, 114, 41, 32, 123, 10, 32, 32, 32, 32, 99, 111, 110, 115,
        116, 32, 115, 116, 114, 101, 97, 109, 32, 61, 32, 99, 111, 110, 116, 114, 111,
        108, 108, 101, 114, 91, 95, 99, 111, 110, 116, 114, 111, 108, 108, 101, 100, 82,
        101, 97, 100, 97, 98, 108, 101, 83, 116, 114, 101, 97, 109, 93, 59, 10, 32, 32,
        32, 32, 99, 111, 110, 116, 114, 111, 108, 108, 101, 114, 91, 95, 114, 101, 97,
        100, 97, 98, 108, 101, 83, 116, 114, 101, 97, 109, 68, 101, 102, 97, 117, 108,
        116, 67, 111, 110, 116, 114, 111, 108, 108, 101, 114, 66, 105, 116, 115, 93, 32,
        124, 61, 32, 67, 76, 79, 83, 69, 95, 82, 69, 81, 85, 69, 83, 84, 69, 68, 59, 10,
        32, 32, 32, 32, 105, 102, 32, 40, 99, 111, 110, 116, 114, 111, 108, 108, 101,
        114, 91, 95, 113, 117, 101, 117, 101, 93, 46, 108, 101, 110, 103, 116, 104, 32,
        61, 61, 61, 32, 48, 41, 32, 123, 10, 32, 32, 32, 32, 32, 32, 82, 101, 97, 100,
        97, 98, 108, 101, 83, 116, 114, 101, 97, 109, 67, 108, 111, 115, 101, 40, 115,
        116, 114, 101, 97, 109, 41, 59, 10, 32, 32, 32, 32, 125, 10, 32, 32, 125, 10,
        32, 32, 102, 117, 110, 99, 116, 105, 111, 110, 32, 82, 101, 97, 100, 97, 98,
        108, 101, 83, 116, 114, 101, 97, 109, 70, 117, 108, 102, 105, 108, 108, 82, 101,
        97, 100, 82, 101, 113, 117, 101, 115, 116, 40, 115, 116, 114, 101, 97, 109, 44,
        32, 99, 104, 117, 110, 107, 44, 32, 100, 111, 110, 101, 41, 32, 123, 10, 32, 32,
        32, 32, 99, 111, 110, 115, 116, 32, 114, 101, 97, 100, 101, 114, 32, 61, 32,
        115, 116, 114, 101, 97, 109, 91, 95, 114, 101, 97, 100, 101, 114, 93, 59, 10,
        32, 32, 32, 32, 99, 111, 110, 115, 116, 32, 114, 101, 97, 100, 82, 101, 113,
        117, 101, 115, 116, 32, 61, 32, 115, 116, 114, 101, 97, 109, 91, 95, 114, 101,
        97, 100, 101, 114, 93, 91, 95, 114, 101, 97, 100, 82, 101, 113, 117, 101, 115,
        116, 115, 93, 46, 115, 104, 105, 102, 116, 40, 41, 59, 10, 32, 32, 32, 32, 118,
        56, 46, 114, 101, 115, 111, 108, 118, 101, 80, 114, 111, 109, 105, 115, 101, 40,
        114, 101, 97, 100, 82, 101, 113, 117, 101, 115, 116, 44, 32, 67, 114, 101, 97,
        116, 101, 73, 116, 101, 114, 82, 101, 115, 117, 108, 116, 79, 98, 106, 101, 99,
        116, 40, 99, 104, 117, 110, 107, 44, 32, 100, 111, 110, 101, 41, 41, 59, 10, 32,
        32, 125, 10, 32, 32, 102, 117, 110, 99, 116, 105, 111, 110, 32, 82, 101, 97,
        100, 97, 98, 108, 101, 83, 116, 114, 101, 97, 109, 68, 101, 102, 97, 117, 108,
        116, 67, 111, 110, 116, 114, 111, 108, 108, 101, 114, 69, 110, 113, 117, 101,
        117, 101, 40, 99, 111, 110, 116, 114, 111, 108, 108, 101, 114, 44, 32, 99, 104,
        117, 110, 107, 41, 32, 123, 10, 32, 32, 32, 32, 99, 111, 110, 115, 116, 32, 115,
        116, 114, 101, 97, 109, 32, 61, 32, 99, 111, 110, 116, 114, 111, 108, 108, 101,
        114, 91, 95, 99, 111, 110, 116, 114, 111, 108, 108, 101, 100, 82, 101, 97, 100,
        97, 98, 108, 101, 83, 116, 114, 101, 97, 109, 93, 59, 10, 32, 32, 32, 32, 105,
        102, 32, 40, 73, 115, 82, 101, 97, 100, 97, 98, 108, 101, 83, 116, 114, 101, 97,
        109, 76, 111, 99, 107, 101, 100, 40, 115, 116, 114, 101, 97, 109, 41, 32, 61,
        61, 61, 32, 116, 114, 117, 101, 32, 38, 38, 32, 82, 101, 97, 100, 97, 98, 108,
        101, 83, 116, 114, 101, 97, 109, 71, 101, 116, 78, 117, 109, 82, 101, 97, 100,
        82, 101, 113, 117, 101, 115, 116, 115, 40, 115, 116, 114, 101, 97, 109, 41, 32,
        62, 32, 48, 41, 32, 123, 10, 32, 32, 32, 32, 32, 32, 82, 101, 97, 100, 97, 98,
        108, 101, 83, 116, 114, 101, 97, 109, 70, 117, 108, 102, 105, 108, 108, 82, 101,
        97, 100, 82, 101, 113, 117, 101, 115, 116, 40, 115, 116, 114, 101, 97, 109, 44,
        32, 99, 104, 117, 110, 107, 44, 32, 102, 97, 108, 115, 101, 41, 59, 10, 32, 32,
        32, 32, 125, 32, 101, 108, 115, 101, 32, 123, 10, 32, 32, 32, 32, 32, 32, 108,
        101, 116, 32, 99, 104, 117, 110, 107, 83, 105, 122, 101, 32, 61, 32, 49, 59, 10,
        32, 32, 32, 32, 32, 32, 99, 111, 110, 115, 116, 32, 115, 116, 114, 97, 116, 101,
        103, 121, 83, 105, 122, 101, 32, 61, 32, 99, 111, 110, 116, 114, 111, 108, 108,
        101, 114, 91, 95, 115, 116, 114, 97, 116, 101, 103, 121, 83, 105, 122, 101, 93,
        59, 10, 32, 32, 32, 32, 32, 32, 105, 102, 32, 40, 115, 116, 114, 97, 116, 101,
        103, 121, 83, 105, 122, 101, 32, 33, 61, 61, 32, 117, 110, 100, 101, 102, 105,
        110, 101, 100, 41, 32, 123, 10, 32, 32, 32, 32, 32, 32, 32, 32, 116, 114, 121,
        32, 123, 10, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 99, 104, 117, 110, 107, 83,
        105, 122, 101, 32, 61, 32, 115, 116, 114, 97, 116, 101, 103, 121, 83, 105, 122,
        101, 40, 99, 104, 117, 110, 107, 41, 59, 10, 32, 32, 32, 32, 32, 32, 32, 32,
        125, 32, 99, 97, 116, 99, 104, 32, 40, 99, 104, 117, 110, 107, 83, 105, 122,
        101, 69, 41, 32, 123, 10, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 105, 102, 32,
        40, 82, 101, 97, 100, 97, 98, 108, 101, 83, 116, 114, 101, 97, 109, 71, 101,
        116, 83, 116, 97, 116, 101, 40, 115, 116, 114, 101, 97, 109, 41, 32, 61, 61, 61,
        32, 83, 84, 65, 84, 69, 95, 82, 69, 65, 68, 65, 66, 76, 69, 41, 32, 123, 10, 32,
        32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 82, 101, 97, 100, 97, 98, 108, 101,
        83, 116, 114, 101, 97, 109, 68, 101, 102, 97, 117, 108, 116, 67, 111, 110, 116,
        114, 111, 108, 108, 101, 114, 69, 114, 114, 111, 114, 40, 99, 111, 110, 116,
        114, 111, 108, 108, 101, 114, 44, 32, 99, 104, 117, 110, 107, 83, 105, 122, 101,
        69, 41, 59, 10, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 125, 10, 32, 32, 32, 32,
        32, 32, 32, 32, 32, 32, 116, 104, 114, 111, 119, 32, 99, 104, 117, 110, 107, 83,
        105, 122, 101, 69, 59, 10, 32, 32, 32, 32, 32, 32, 32, 32, 125, 10, 32, 32, 32,
        32, 32, 32, 125, 10, 32, 32, 32, 32, 32, 32, 116, 114, 121, 32, 123, 10, 32, 32,
        32, 32, 32, 32, 32, 32, 69, 110, 113, 117, 101, 117, 101, 86, 97, 108, 117, 101,
        87, 105, 116, 104, 83, 105, 122, 101, 40, 99, 111, 110, 116, 114, 111, 108, 108,
        101, 114, 44, 32, 99, 104, 117, 110, 107, 44, 32, 99, 104, 117, 110, 107, 83,
        105, 122, 101, 41, 59, 10, 32, 32, 32, 32, 32, 32, 125, 32, 99, 97, 116, 99,
        104, 32, 40, 101, 110, 113, 117, 101, 117, 101, 69, 41, 32, 123, 10, 32, 32, 32,
        32, 32, 32, 32, 32, 105, 102, 32, 40, 82, 101, 97, 100, 97, 98, 108, 101, 83,
        116, 114, 101, 97, 109, 71, 101, 116, 83, 116, 97, 116, 101, 40, 115, 116, 114,
        101, 97, 109, 41, 32, 61, 61, 61, 32, 83, 84, 65, 84, 69, 95, 82, 69, 65, 68,
        65, 66, 76, 69, 41, 32, 123, 10, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 82,
        101, 97, 100, 97, 98, 108, 101, 83, 116, 114, 101, 97, 109, 68, 101, 102, 97,
        117, 108, 116, 67, 111, 110, 116, 114, 111, 108, 108, 101, 114, 69, 114, 114,
        111, 114, 40, 99, 111, 110, 116, 114, 111, 108, 108, 101, 114, 44, 32, 101, 110,
        113, 117, 101, 117, 101, 69, 41, 59, 10, 32, 32, 32, 32, 32, 32, 32, 32, 125,
        10, 32, 32, 32, 32, 32, 32, 32, 32, 116, 104, 114, 111, 119, 32, 101, 110, 113,
        117, 101, 117, 101, 69, 59, 10, 32, 32, 32, 32, 32, 32, 125, 10, 32, 32, 32, 32,
        125, 10, 32, 32, 32, 32, 82, 101, 97, 100, 97, 98, 108, 101, 83, 116, 114, 101,
        97, 109, 68, 101, 102, 97, 117, 108, 116, 67, 111, 110, 116, 114, 111, 108, 108,
        101, 114, 67, 97, 108, 108, 80, 117, 108, 108, 73, 102, 78, 101, 101, 100, 101,
        100, 40, 99, 111, 110, 116, 114, 111, 108, 108, 101, 114, 41, 59, 10, 32, 32,
        125, 10, 32, 32, 102, 117, 110, 99, 116, 105, 111, 110, 32, 82, 101, 97, 100,
        97, 98, 108, 101, 83, 116, 114, 101, 97, 109, 71, 101, 116, 83, 116, 97, 116,
        101, 40, 115, 116, 114, 101, 97, 109, 41, 32, 123, 10, 32, 32, 32, 32, 114, 101,
        116, 117, 114, 110, 32, 40, 115, 116, 114, 101, 97, 109, 91, 95, 114, 101, 97,
        100, 97, 98, 108, 101, 83, 116, 114, 101, 97, 109, 66, 105, 116, 115, 93, 32,
        38, 32, 83, 84, 65, 84, 69, 95, 77, 65, 83, 75, 41, 32, 62, 62, 32, 83, 84, 65,
        84, 69, 95, 66, 73, 84, 83, 95, 79, 70, 70, 83, 69, 84, 59, 10, 32, 32, 125, 10,
        32, 32, 102, 117, 110, 99, 116, 105, 111, 110, 32, 82, 101, 97, 100, 97, 98,
        108, 101, 83, 116, 114, 101, 97, 109, 83, 101, 116, 83, 116, 97, 116, 101, 40,
        115, 116, 114, 101, 97, 109, 44, 32, 115, 116, 97, 116, 101, 41, 32, 123, 10,
        32, 32, 32, 32, 115, 116, 114, 101, 97, 109, 91, 95, 114, 101, 97, 100, 97, 98,
        108, 101, 83, 116, 114, 101, 97, 109, 66, 105, 116, 115, 93, 32, 61, 32, 40,
        115, 116, 114, 101, 97, 109, 91, 95, 114, 101, 97, 100, 97, 98, 108, 101, 83,
        116, 114, 101, 97, 109, 66, 105, 116, 115, 93, 32, 38, 32, 126, 83, 84, 65, 84,
        69, 95, 77, 65, 83, 75, 41, 32, 124, 10, 32, 32, 32, 32, 32, 32, 32, 32, 40,
        115, 116, 97, 116, 101, 32, 60, 60, 32, 83, 84, 65, 84, 69, 95, 66, 73, 84, 83,
        95, 79, 70, 70, 83, 69, 84, 41, 59, 10, 32, 32, 125, 10, 32, 32, 102, 117, 110,
        99, 116, 105, 111, 110, 32, 82, 101, 97, 100, 97, 98, 108, 101, 83, 116, 114,
        101, 97, 109, 68, 101, 102, 97, 117, 108, 116, 67, 111, 110, 116, 114, 111, 108,
        108, 101, 114, 69, 114, 114, 111, 114, 40, 99, 111, 110, 116, 114, 111, 108,
        108, 101, 114, 44, 32, 101, 41, 32, 123, 10, 32, 32, 32, 32, 99, 111, 110, 116,
        114, 111, 108, 108, 101, 114, 91, 95, 113, 117, 101, 117, 101, 93, 32, 61, 32,
        110, 101, 119, 32, 118, 56, 46, 73, 110, 116, 101, 114, 110, 97, 108, 80, 97,
        99, 107, 101, 100, 65, 114, 114, 97, 121, 40, 41, 59, 10, 32, 32, 32, 32, 99,
        111, 110, 115, 116, 32, 115, 116, 114, 101, 97, 109, 32, 61, 32, 99, 111, 110,
        116, 114, 111, 108, 108, 101, 114, 91, 95, 99, 111, 110, 116, 114, 111, 108,
        108, 101, 100, 82, 101, 97, 100, 97, 98, 108, 101, 83, 116, 114, 101, 97, 109,
        93, 59, 10, 32, 32, 32, 32, 82, 101, 97, 100, 97, 98, 108, 101, 83, 116, 114,
        101, 97, 109, 69, 114, 114, 111, 114, 40, 115, 116, 114, 101, 97, 109, 44, 32,
        101, 41, 59, 10, 32, 32, 125, 10, 32, 32, 102, 117, 110, 99, 116, 105, 111, 110,
        32, 82, 101, 97, 100, 97, 98, 108, 101, 83, 116, 114, 101, 97, 109, 69, 114,
        114, 111, 114, 40, 115, 116, 114, 101, 97, 109, 44, 32, 101, 41, 32, 123, 10,
        32, 32, 32, 32, 115, 116, 114, 101, 97, 109, 91, 95, 115, 116, 111, 114, 101,
        100, 69, 114, 114, 111, 114, 93, 32, 61, 32, 101, 59, 10, 32, 32, 32, 32, 82,
        101, 97, 100, 97, 98, 108, 101, 83, 116, 114, 101, 97, 109, 83, 101, 116, 83,
        116, 97, 116, 101, 40, 115, 116, 114, 101, 97, 109, 44, 32, 83, 84, 65, 84, 69,
        95, 69, 82, 82, 79, 82, 69, 68, 41, 59, 10, 32, 32, 32, 32, 99, 111, 110, 115,
        116, 32, 114, 101, 97, 100, 101, 114, 32, 61, 32, 115, 116, 114, 101, 97, 109,
        91, 95, 114, 101, 97, 100, 101, 114, 93, 59, 10, 32, 32, 32, 32, 105, 102, 32,
        40, 114, 101, 97, 100, 101, 114, 32, 61, 61, 61, 32, 117, 110, 100, 101, 102,
        105, 110, 101, 100, 41, 32, 123, 10, 32, 32, 32, 32, 32, 32, 114, 101, 116, 117,
        114, 110, 32, 117, 110, 100, 101, 102, 105, 110, 101, 100, 59, 10, 32, 32, 32,
        32, 125, 10, 32, 32, 32, 32, 105, 102, 32, 40, 73, 115, 82, 101, 97, 100, 97,
        98, 108, 101, 83, 116, 114, 101, 97, 109, 68, 101, 102, 97, 117, 108, 116, 82,
        101, 97, 100, 101, 114, 40, 114, 101, 97, 100, 101, 114, 41, 32, 61, 61, 61, 32,
        116, 114, 117, 101, 41, 32, 123, 10, 32, 32, 32, 32, 32, 32, 99, 111, 110, 115,
        116, 32, 114, 101, 97, 100, 82, 101, 113, 117, 101, 115, 116, 115, 32, 61, 32,
        114, 101, 97, 100, 101, 114, 91, 95, 114, 101, 97, 100, 82, 101, 113, 117, 101,
        115, 116, 115, 93, 59, 10, 32, 32, 32, 32, 32, 32, 102, 111, 114, 32, 40, 108,
        101, 116, 32, 105, 32, 61, 32, 48, 59, 32, 105, 32, 60, 32, 114, 101, 97, 100,
        82, 101, 113, 117, 101, 115, 116, 115, 46, 108, 101, 110, 103, 116, 104, 59, 32,
        105, 43, 43, 41, 32, 123, 10, 32, 32, 32, 32, 32, 32, 32, 32, 118, 56, 46, 114,
        101, 106, 101, 99, 116, 80, 114, 111, 109, 105, 115, 101, 40, 114, 101, 97, 100,
        82, 101, 113, 117, 101, 115, 116, 115, 91, 105, 93, 44, 32, 101, 41, 59, 10, 32,
        32, 32, 32, 32, 32, 125, 10, 32, 32, 32, 32, 32, 32, 114, 101, 97, 100, 101,
        114, 91, 95, 114, 101, 97, 100, 82, 101, 113, 117, 101, 115, 116, 115, 93, 32,
        61, 32, 110, 101, 119, 32, 118, 56, 46, 73, 110, 116, 101, 114, 110, 97, 108,
        80, 97, 99, 107, 101, 100, 65, 114, 114, 97, 121, 40, 41, 59, 10, 32, 32, 32,
        32, 125, 10, 32, 32, 32, 32, 118, 56, 46, 114, 101, 106, 101, 99, 116, 80, 114,
        111, 109, 105, 115, 101, 40, 114, 101, 97, 100, 101, 114, 91, 95, 99, 108, 111,
        115, 101, 100, 80, 114, 111, 109, 105, 115, 101, 93, 44, 32, 101, 41, 59, 10,
        32, 32, 32, 32, 118, 56, 46, 109, 97, 114, 107, 80, 114, 111, 109, 105, 115,
        101, 65, 115, 72, 97, 110, 100, 108, 101, 100, 40, 114, 101, 97, 100, 101, 114,
        91, 95, 99, 108, 111, 115, 101, 100, 80, 114, 111, 109, 105, 115, 101, 93, 41,
        59, 10, 32, 32, 125, 10, 32, 32, 102, 117, 110, 99, 116, 105, 111, 110, 32, 82,
        101, 97, 100, 97, 98, 108, 101, 83, 116, 114, 101, 97, 109, 67, 108, 111, 115,
        101, 40, 115, 116, 114, 101, 97, 109, 41, 32, 123, 10, 32, 32, 32, 32, 82, 101,
        97, 100, 97, 98, 108, 101, 83, 116, 114, 101, 97, 109, 83, 101, 116, 83, 116,
        97, 116, 101, 40, 115, 116, 114, 101, 97, 109, 44, 32, 83, 84, 65, 84, 69, 95,
        67, 76, 79, 83, 69, 68, 41, 59, 10, 32, 32, 32, 32, 99, 111, 110, 115, 116, 32,
        114, 101, 97, 100, 101, 114, 32, 61, 32, 115, 116, 114, 101, 97, 109, 91, 95,
        114, 101, 97, 100, 101, 114, 93, 59, 10, 32, 32, 32, 32, 105, 102, 32, 40, 114,
        101, 97, 100, 101, 114, 32, 61, 61, 61, 32, 117, 110, 100, 101, 102, 105, 110,
        101, 100, 41, 32, 123, 10, 32, 32, 32, 32, 32, 32, 114, 101, 116, 117, 114, 110,
        32, 117, 110, 100, 101, 102, 105, 110, 101, 100, 59, 10, 32, 32, 32, 32, 125,
        10, 32, 32, 32, 32, 105, 102, 32, 40, 73, 115, 82, 101, 97, 100, 97, 98, 108,
        101, 83, 116, 114, 101, 97, 109, 68, 101, 102, 97, 117, 108, 116, 82, 101, 97,
        100, 101, 114, 40, 114, 101, 97, 100, 101, 114, 41, 32, 61, 61, 61, 32, 116,
        114, 117, 101, 41, 32, 123, 10, 32, 32, 32, 32, 32, 32, 99, 111, 110, 115, 116,
        32, 114, 101, 97, 100, 82, 101, 113, 117, 101, 115, 116, 115, 32, 61, 32, 114,
        101, 97, 100, 101, 114, 91, 95, 114, 101, 97, 100, 82, 101, 113, 117, 101, 115,
        116, 115, 93, 59, 10, 32, 32, 32, 32, 32, 32, 102, 111, 114, 32, 40, 108, 101,
        116, 32, 105, 32, 61, 32, 48, 59, 32, 105, 32, 60, 32, 114, 101, 97, 100, 82,
        101, 113, 117, 101, 115, 116, 115, 46, 108, 101, 110, 103, 116, 104, 59, 32,
        105, 43, 43, 41, 32, 123, 10, 32, 32, 32, 32, 32, 32, 32, 32, 118, 56, 46, 114,
        101, 115, 111, 108, 118, 101, 80, 114, 111, 109, 105, 115, 101, 40, 10, 32, 32,
        32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 114, 101, 97, 100, 82, 101, 113, 117,
        101, 115, 116, 115, 91, 105, 93, 44, 32, 67, 114, 101, 97, 116, 101, 73, 116,
        101, 114, 82, 101, 115, 117, 108, 116, 79, 98, 106, 101, 99, 116, 40, 117, 110,
        100, 101, 102, 105, 110, 101, 100, 44, 32, 116, 114, 117, 101, 41, 41, 59, 10,
        32, 32, 32, 32, 32, 32, 125, 10, 32, 32, 32, 32, 32, 32, 114, 101, 97, 100, 101,
        114, 91, 95, 114, 101, 97, 100, 82, 101, 113, 117, 101, 115, 116, 115, 93, 32,
        61, 32, 110, 101, 119, 32, 118, 56, 46, 73, 110, 116, 101, 114, 110, 97, 108,
        80, 97, 99, 107, 101, 100, 65, 114, 114, 97, 121, 40, 41, 59, 10, 32, 32, 32,
        32, 125, 10, 32, 32, 32, 32, 118, 56, 46, 114, 101, 115, 111, 108, 118, 101, 80,
        114, 111, 109, 105, 115, 101, 40, 114, 101, 97, 100, 101, 114, 91, 95, 99, 108,
        111, 115, 101, 100, 80, 114, 111, 109, 105, 115, 101, 93, 44, 32, 117, 110, 100,
        101, 102, 105, 110, 101, 100, 41, 59, 10, 32, 32, 125, 10, 32, 32, 102, 117,
        110, 99, 116, 105, 111, 110, 32, 82, 101, 97, 100, 97, 98, 108, 101, 83, 116,
        114, 101, 97, 109, 68, 101, 102, 97, 117, 108, 116, 67, 111, 110, 116, 114, 111,
        108, 108, 101, 114, 71, 101, 116, 68, 101, 115, 105, 114, 101, 100, 83, 105,
        122, 101, 40, 99, 111, 110, 116, 114, 111, 108, 108, 101, 114, 41, 32, 123, 10,
        32, 32, 32, 32, 99, 111, 110, 115, 116, 32, 113, 117, 101, 117, 101, 83, 105,
        122, 101, 32, 61, 32, 71, 101, 116, 84, 111, 116, 97, 108, 81, 117, 101, 117,
        101, 83, 105, 122, 101, 40, 99, 111, 110, 116, 114, 111, 108, 108, 101, 114, 41,
        59, 10, 32, 32, 32, 32, 114, 101, 116, 117, 114, 110, 32, 99, 111, 110, 116,
        114, 111, 108, 108, 101, 114, 91, 95, 115, 116, 114, 97, 116, 101, 103, 121, 72,
        87, 77, 93, 32, 45, 32, 113, 117, 101, 117, 101, 83, 105, 122, 101, 59, 10, 32,
        32, 125, 10, 32, 32, 102, 117, 110, 99, 116, 105, 111, 110, 32, 73, 115, 82,
        101, 97, 100, 97, 98, 108, 101, 83, 116, 114, 101, 97, 109, 40, 120, 41, 32,
        123, 10, 32, 32, 32, 32, 114, 101, 116, 117, 114, 110, 32, 104, 97, 115, 79,
        119, 110, 80, 114, 111, 112, 101, 114, 116, 121, 40, 120, 44, 32, 95, 99, 111,
        110, 116, 114, 111, 108, 108, 101, 114, 41, 59, 10, 32, 32, 125, 10, 32, 32,
        102, 117, 110, 99, 116, 105, 111, 110, 32, 73, 115, 82, 101, 97, 100, 97, 98,
        108, 101, 83, 116, 114, 101, 97, 109, 68, 105, 115, 116, 117, 114, 98, 101, 100,
        40, 115, 116, 114, 101, 97, 109, 41, 32, 123, 10, 32, 32, 32, 32, 114, 101, 116,
        117, 114, 110, 32, 115, 116, 114, 101, 97, 109, 91, 95, 114, 101, 97, 100, 97,
        98, 108, 101, 83, 116, 114, 101, 97, 109, 66, 105, 116, 115, 93, 32, 38, 32, 68,
        73, 83, 84, 85, 82, 66, 69, 68, 59, 10, 32, 32, 125, 10, 32, 32, 102, 117, 110,
        99, 116, 105, 111, 110, 32, 73, 115, 82, 101, 97, 100, 97, 98, 108, 101, 83,
        116, 114, 101, 97, 109, 76, 111, 99, 107, 101, 100, 40, 115, 116, 114, 101, 97,
        109, 41, 32, 123, 10, 32, 32, 32, 32, 114, 101, 116, 117, 114, 110, 32, 115,
        116, 114, 101, 97, 109, 91, 95, 114, 101, 97, 100, 101, 114, 93, 32, 33, 61, 61,
        32, 117, 110, 100, 101, 102, 105, 110, 101, 100, 59, 10, 32, 32, 125, 10, 32,
        32, 102, 117, 110, 99, 116, 105, 111, 110, 32, 73, 115, 82, 101, 97, 100, 97,
        98, 108, 101, 83, 116, 114, 101, 97, 109, 68, 101, 102, 97, 117, 108, 116, 67,
        111, 110, 116, 114, 111, 108, 108, 101, 114, 40, 120, 41, 32, 123, 10, 32, 32,
        32, 32, 114, 101, 116, 117, 114, 110, 32, 104, 97, 115, 79, 119, 110, 80, 114,
        111, 112, 101, 114, 116, 121, 40, 120, 44, 32, 95, 99, 111, 110, 116, 114, 111,
        108, 108, 101, 100, 82, 101, 97, 100, 97, 98, 108, 101, 83, 116, 114, 101, 97,
        109, 41, 59, 10, 32, 32, 125, 10, 32, 32, 102, 117, 110, 99, 116, 105, 111, 110,
        32, 73, 115, 82, 101, 97, 100, 97, 98, 108, 101, 83, 116, 114, 101, 97, 109, 68,
        101, 102, 97, 117, 108, 116, 82, 101, 97, 100, 101, 114, 40, 120, 41, 32, 123,
        10, 32, 32, 32, 32, 114, 101, 116, 117, 114, 110, 32, 104, 97, 115, 79, 119,
        110, 80, 114, 111, 112, 101, 114, 116, 121, 40, 120, 44, 32, 95, 114, 101, 97,
        100, 82, 101, 113, 117, 101, 115, 116, 115, 41, 59, 10, 32, 32, 125, 10, 32, 32,
        102, 117, 110, 99, 116, 105, 111, 110, 32, 73, 115, 82, 101, 97, 100, 97, 98,
        108, 101, 83, 116, 114, 101, 97, 109, 82, 101, 97, 100, 97, 98, 108, 101, 40,
        115, 116, 114, 101, 97, 109, 41, 32, 123, 10, 32, 32, 32, 32, 114, 101, 116,
        117, 114, 110, 32, 82, 101, 97, 100, 97, 98, 108, 101, 83, 116, 114, 101, 97,
        109, 71, 101, 116, 83, 116, 97, 116, 101, 40, 115, 116, 114, 101, 97, 109, 41,
        32, 61, 61, 61, 32, 83, 84, 65, 84, 69, 95, 82, 69, 65, 68, 65, 66, 76, 69, 59,
        10, 32, 32, 125, 10, 32, 32, 102, 117, 110, 99, 116, 105, 111, 110, 32, 73, 115,
        82, 101, 97, 100, 97, 98, 108, 101, 83, 116, 114, 101, 97, 109, 67, 108, 111,
        115, 101, 100, 40, 115, 116, 114, 101, 97, 109, 41, 32, 123, 10, 32, 32, 32, 32,
        114, 101, 116, 117, 114, 110, 32, 82, 101, 97, 100, 97, 98, 108, 101, 83, 116,
        114, 101, 97, 109, 71, 101, 116, 83, 116, 97, 116, 101, 40, 115, 116, 114, 101,
        97, 109, 41, 32, 61, 61, 61, 32, 83, 84, 65, 84, 69, 95, 67, 76, 79, 83, 69, 68,
        59, 10, 32, 32, 125, 10, 32, 32, 102, 117, 110, 99, 116, 105, 111, 110, 32, 73,
        115, 82, 101, 97, 100, 97, 98, 108, 101, 83, 116, 114, 101, 97, 109, 69, 114,
        114, 111, 114, 101, 100, 40, 115, 116, 114, 101, 97, 109, 41, 32, 123, 10, 32,
        32, 32, 32, 114, 101, 116, 117, 114, 110, 32, 82, 101, 97, 100, 97, 98, 108,
        101, 83, 116, 114, 101, 97, 109, 71, 101, 116, 83, 116, 97, 116, 101, 40, 115,
        116, 114, 101, 97, 109, 41, 32, 61, 61, 61, 32, 83, 84, 65, 84, 69, 95, 69, 82,
        82, 79, 82, 69, 68, 59, 10, 32, 32, 125, 10, 32, 32, 102, 117, 110, 99, 116,
        105, 111, 110, 32, 82, 101, 97, 100, 97, 98, 108, 101, 83, 116, 114, 101, 97,
        109, 82, 101, 97, 100, 101, 114, 71, 101, 110, 101, 114, 105, 99, 73, 110, 105,
        116, 105, 97, 108, 105, 122, 101, 40, 114, 101, 97, 100, 101, 114, 44, 32, 115,
        116, 114, 101, 97, 109, 41, 32, 123, 10, 32, 32, 32, 32, 99, 111, 110, 115, 116,
        32, 99, 111, 110, 116, 114, 111, 108, 108, 101, 114, 32, 61, 32, 115, 116, 114,
        101, 97, 109, 91, 95, 99, 111, 110, 116, 114, 111, 108, 108, 101, 114, 93, 59,
        10, 32, 32, 32, 32, 105, 102, 32, 40, 99, 111, 110, 116, 114, 111, 108, 108,
        101, 114, 91, 95, 114, 101, 97, 100, 97, 98, 108, 101, 83, 116, 114, 101, 97,
        109, 68, 101, 102, 97, 117, 108, 116, 67, 111, 110, 116, 114, 111, 108, 108,
        101, 114, 66, 105, 116, 115, 93, 32, 38, 32, 69, 88, 84, 69, 82, 78, 65, 76, 76,
        89, 95, 67, 79, 78, 84, 82, 79, 76, 76, 69, 68, 41, 32, 123, 10, 32, 32, 32, 32,
        32, 32, 99, 111, 110, 115, 116, 32, 117, 110, 100, 101, 114, 108, 121, 105, 110,
        103, 83, 111, 117, 114, 99, 101, 32, 61, 32, 99, 111, 110, 116, 114, 111, 108,
        108, 101, 114, 91, 95, 117, 110, 100, 101, 114, 108, 121, 105, 110, 103, 83,
        111, 117, 114, 99, 101, 93, 59, 10, 32, 32, 32, 32, 32, 32, 99, 97, 108, 108,
        70, 117, 110, 99, 116, 105, 111, 110, 40, 117, 110, 100, 101, 114, 108, 121,
        105, 110, 103, 83, 111, 117, 114, 99, 101, 46, 110, 111, 116, 105, 102, 121, 76,
        111, 99, 107, 65, 99, 113, 117, 105, 114, 101, 100, 44, 32, 117, 110, 100, 101,
        114, 108, 121, 105, 110, 103, 83, 111, 117, 114, 99, 101, 41, 59, 10, 32, 32,
        32, 32, 125, 10, 32, 32, 32, 32, 114, 101, 97, 100, 101, 114, 91, 95, 111, 119,
        110, 101, 114, 82, 101, 97, 100, 97, 98, 108, 101, 83, 116, 114, 101, 97, 109,
        93, 32, 61, 32, 115, 116, 114, 101, 97, 109, 59, 10, 32, 32, 32, 32, 115, 116,
        114, 101, 97, 109, 91, 95, 114, 101, 97, 100, 101, 114, 93, 32, 61, 32, 114,
        101, 97, 100, 101, 114, 59, 10, 32, 32, 32, 32, 115, 119, 105, 116, 99, 104, 32,
        40, 82, 101, 97, 100, 97, 98, 108, 101, 83, 116, 114, 101, 97, 109, 71, 101,
        116, 83, 116, 97, 116, 101, 40, 115, 116, 114, 101, 97, 109, 41, 41, 32, 123,
        10, 32, 32, 32, 32, 32, 32, 99, 97, 115, 101, 32, 83, 84, 65, 84, 69, 95, 82,
        69, 65, 68, 65, 66, 76, 69, 58, 10, 32, 32, 32, 32, 32, 32, 32, 32, 114, 101,
        97, 100, 101, 114, 91, 95, 99, 108, 111, 115, 101, 100, 80, 114, 111, 109, 105,
        115, 101, 93, 32, 61, 32, 118, 56, 46, 99, 114, 101, 97, 116, 101, 80, 114, 111,
        109, 105, 115, 101, 40, 41, 59, 10, 32, 32, 32, 32, 32, 32, 32, 32, 98, 114,
        101, 97, 107, 59, 10, 32, 32, 32, 32, 32, 32, 99, 97, 115, 101, 32, 83, 84, 65,
        84, 69, 95, 67, 76, 79, 83, 69, 68, 58, 10, 32, 32, 32, 32, 32, 32, 32, 32, 114,
        101, 97, 100, 101, 114, 91, 95, 99, 108, 111, 115, 101, 100, 80, 114, 111, 109,
        105, 115, 101, 93, 32, 61, 32, 80, 114, 111, 109, 105, 115, 101, 95, 114, 101,
        115, 111, 108, 118, 101, 40, 117, 110, 100, 101, 102, 105, 110, 101, 100, 41,
        59, 10, 32, 32, 32, 32, 32, 32, 32, 32, 98, 114, 101, 97, 107, 59, 10, 32, 32,
        32, 32, 32, 32, 99, 97, 115, 101, 32, 83, 84, 65, 84, 69, 95, 69, 82, 82, 79,
        82, 69, 68, 58, 10, 32, 32, 32, 32, 32, 32, 32, 32, 114, 101, 97, 100, 101, 114,
        91, 95, 99, 108, 111, 115, 101, 100, 80, 114, 111, 109, 105, 115, 101, 93, 32,
        61, 32, 80, 114, 111, 109, 105, 115, 101, 95, 114, 101, 106, 101, 99, 116, 40,
        115, 116, 114, 101, 97, 109, 91, 95, 115, 116, 111, 114, 101, 100, 69, 114, 114,
        111, 114, 93, 41, 59, 10, 32, 32, 32, 32, 32, 32, 32, 32, 118, 56, 46, 109, 97,
        114, 107, 80, 114, 111, 109, 105, 115, 101, 65, 115, 72, 97, 110, 100, 108, 101,
        100, 40, 114, 101, 97, 100, 101, 114, 91, 95, 99, 108, 111, 115, 101, 100, 80,
        114, 111, 109, 105, 115, 101, 93, 41, 59, 10, 32, 32, 32, 32, 32, 32, 32, 32,
        98, 114, 101, 97, 107, 59, 10, 32, 32, 32, 32, 125, 10, 32, 32, 125, 10, 32, 32,
        102, 117, 110, 99, 116, 105, 111, 110, 32, 82, 101, 97, 100, 97, 98, 108, 101,
        83, 116, 114, 101, 97, 109, 82, 101, 97, 100, 101, 114, 71, 101, 110, 101, 114,
        105, 99, 82, 101, 108, 101, 97, 115, 101, 40, 114, 101, 97, 100, 101, 114, 41,
        32, 123, 10, 32, 32, 32, 32, 99, 111, 110, 115, 116, 32, 99, 111, 110, 116, 114,
        111, 108, 108, 101, 114, 32, 61, 32, 114, 101, 97, 100, 101, 114, 91, 95, 111,
        119, 110, 101, 114, 82, 101, 97, 100, 97, 98, 108, 101, 83, 116, 114, 101, 97,
        109, 93, 91, 95, 99, 111, 110, 116, 114, 111, 108, 108, 101, 114, 93, 59, 10,
        32, 32, 32, 32, 105, 102, 32, 40, 99, 111, 110, 116, 114, 111, 108, 108, 101,
        114, 91, 95, 114, 101, 97, 100, 97, 98, 108, 101, 83, 116, 114, 101, 97, 109,
        68, 101, 102, 97, 117, 108, 116, 67, 111, 110, 116, 114, 111, 108, 108, 101,
        114, 66, 105, 116, 115, 93, 32, 38, 32, 69, 88, 84, 69, 82, 78, 65, 76, 76, 89,
        95, 67, 79, 78, 84, 82, 79, 76, 76, 69, 68, 41, 32, 123, 10, 32, 32, 32, 32, 32,
        32, 99, 111, 110, 115, 116, 32, 117, 110, 100, 101, 114, 108, 121, 105, 110,
        103, 83, 111, 117, 114, 99, 101, 32, 61, 32, 99, 111, 110, 116, 114, 111, 108,
        108, 101, 114, 91, 95, 117, 110, 100, 101, 114, 108, 121, 105, 110, 103, 83,
        111, 117, 114, 99, 101, 93, 59, 10, 32, 32, 32, 32, 32, 32, 99, 97, 108, 108,
        70, 117, 110, 99, 116, 105, 111, 110, 40, 117, 110, 100, 101, 114, 108, 121,
        105, 110, 103, 83, 111, 117, 114, 99, 101, 46, 110, 111, 116, 105, 102, 121, 76,
        111, 99, 107, 82, 101, 108, 101, 97, 115, 101, 100, 44, 32, 117, 110, 100, 101,
        114, 108, 121, 105, 110, 103, 83, 111, 117, 114, 99, 101, 41, 59, 10, 32, 32,
        32, 32, 125, 10, 32, 32, 32, 32, 105, 102, 32, 40, 82, 101, 97, 100, 97, 98,
        108, 101, 83, 116, 114, 101, 97, 109, 71, 101, 116, 83, 116, 97, 116, 101, 40,
        114, 101, 97, 100, 101, 114, 91, 95, 111, 119, 110, 101, 114, 82, 101, 97, 100,
        97, 98, 108, 101, 83, 116, 114, 101, 97, 109, 93, 41, 32, 61, 61, 61, 32, 83,
        84, 65, 84, 69, 95, 82, 69, 65, 68, 65, 66, 76, 69, 41, 32, 123, 10, 32, 32, 32,
        32, 32, 32, 118, 56, 46, 114, 101, 106, 101, 99, 116, 80, 114, 111, 109, 105,
        115, 101, 40, 114, 101, 97, 100, 101, 114, 91, 95, 99, 108, 111, 115, 101, 100,
        80, 114, 111, 109, 105, 115, 101, 93, 44, 32, 110, 101, 119, 32, 84, 121, 112,
        101, 69, 114, 114, 111, 114, 40, 101, 114, 114, 82, 101, 108, 101, 97, 115, 101,
        100, 82, 101, 97, 100, 101, 114, 67, 108, 111, 115, 101, 100, 80, 114, 111, 109,
        105, 115, 101, 41, 41, 59, 10, 32, 32, 32, 32, 125, 32, 101, 108, 115, 101, 32,
        123, 10, 32, 32, 32, 32, 32, 32, 114, 101, 97, 100, 101, 114, 91, 95, 99, 108,
        111, 115, 101, 100, 80, 114, 111, 109, 105, 115, 101, 93, 32, 61, 32, 80, 114,
        111, 109, 105, 115, 101, 95, 114, 101, 106, 101, 99, 116, 40, 110, 101, 119, 32,
        84, 121, 112, 101, 69, 114, 114, 111, 114, 40, 101, 114, 114, 82, 101, 108, 101,
        97, 115, 101, 100, 82, 101, 97, 100, 101, 114, 67, 108, 111, 115, 101, 100, 80,
        114, 111, 109, 105, 115, 101, 41, 41, 59, 10, 32, 32, 32, 32, 125, 10, 32, 32,
        32, 32, 118, 56, 46, 109, 97, 114, 107, 80, 114, 111, 109, 105, 115, 101, 65,
        115, 72, 97, 110, 100, 108, 101, 100, 40, 114, 101, 97, 100, 101, 114, 91, 95,
        99, 108, 111, 115, 101, 100, 80, 114, 111, 109, 105, 115, 101, 93, 41, 59, 10,
        32, 32, 32, 32, 114, 101, 97, 100, 101, 114, 91, 95, 111, 119, 110, 101, 114,
        82, 101, 97, 100, 97, 98, 108, 101, 83, 116, 114, 101, 97, 109, 93, 91, 95, 114,
        101, 97, 100, 101, 114, 93, 32, 61, 32, 117, 110, 100, 101, 102, 105, 110, 101,
        100, 59, 10, 32, 32, 32, 32, 114, 101, 97, 100, 101, 114, 91, 95, 111, 119, 110,
        101, 114, 82, 101, 97, 100, 97, 98, 108, 101, 83, 116, 114, 101, 97, 109, 93,
        32, 61, 32, 117, 110, 100, 101, 102, 105, 110, 101, 100, 59, 10, 32, 32, 125,
        10, 32, 32, 102, 117, 110, 99, 116, 105, 111, 110, 32, 82, 101, 97, 100, 97, 98,
        108, 101, 83, 116, 114, 101, 97, 109, 68, 101, 102, 97, 117, 108, 116, 82, 101,
        97, 100, 101, 114, 82, 101, 97, 100, 40, 114, 101, 97, 100, 101, 114, 41, 32,
        123, 10, 32, 32, 32, 32, 99, 111, 110, 115, 116, 32, 115, 116, 114, 101, 97,
        109, 32, 61, 32, 114, 101, 97, 100, 101, 114, 91, 95, 111, 119, 110, 101, 114,
        82, 101, 97, 100, 97, 98, 108, 101, 83, 116, 114, 101, 97, 109, 93, 59, 10, 32,
        32, 32, 32, 115, 116, 114, 101, 97, 109, 91, 95, 114, 101, 97, 100, 97, 98, 108,
        101, 83, 116, 114, 101, 97, 109, 66, 105, 116, 115, 93, 32, 124, 61, 32, 68, 73,
        83, 84, 85, 82, 66, 69, 68, 59, 10, 32, 32, 32, 32, 105, 102, 32, 40, 82, 101,
        97, 100, 97, 98, 108, 101, 83, 116, 114, 101, 97, 109, 71, 101, 116, 83, 116,
        97, 116, 101, 40, 115, 116, 114, 101, 97, 109, 41, 32, 61, 61, 61, 32, 83, 84,
        65, 84, 69, 95, 67, 76, 79, 83, 69, 68, 41, 32, 123, 10, 32, 32, 32, 32, 32, 32,
        114, 101, 116, 117, 114, 110, 32, 80, 114, 111, 109, 105, 115, 101, 95, 114,
        101, 115, 111, 108, 118, 101, 40, 67, 114, 101, 97, 116, 101, 73, 116, 101, 114,
        82, 101, 115, 117, 108, 116, 79, 98, 106, 101, 99, 116, 40, 117, 110, 100, 101,
        102, 105, 110, 101, 100, 44, 32, 116, 114, 117, 101, 41, 41, 59, 10, 32, 32, 32,
        32, 125, 10, 32, 32, 32, 32, 105, 102, 32, 40, 82, 101, 97, 100, 97, 98, 108,
        101, 83, 116, 114, 101, 97, 109, 71, 101, 116, 83, 116, 97, 116, 101, 40, 115,
        116, 114, 101, 97, 109, 41, 32, 61, 61, 61, 32, 83, 84, 65, 84, 69, 95, 69, 82,
        82, 79, 82, 69, 68, 41, 32, 123, 10, 32, 32, 32, 32, 32, 32, 114, 101, 116, 117,
        114, 110, 32, 80, 114, 111, 109, 105, 115, 101, 95, 114, 101, 106, 101, 99, 116,
        40, 115, 116, 114, 101, 97, 109, 91, 95, 115, 116, 111, 114, 101, 100, 69, 114,
        114, 111, 114, 93, 41, 59, 10, 32, 32, 32, 32, 125, 10, 32, 32, 32, 32, 114,
        101, 116, 117, 114, 110, 32, 82, 101, 97, 100, 97, 98, 108, 101, 83, 116, 114,
        101, 97, 109, 68, 101, 102, 97, 117, 108, 116, 67, 111, 110, 116, 114, 111, 108,
        108, 101, 114, 80, 117, 108, 108, 40, 115, 116, 114, 101, 97, 109, 91, 95, 99,
        111, 110, 116, 114, 111, 108, 108, 101, 114, 93, 41, 59, 10, 32, 32, 125, 10,
        32, 32, 102, 117, 110, 99, 116, 105, 111, 110, 32, 82, 101, 97, 100, 97, 98,
        108, 101, 83, 116, 114, 101, 97, 109, 68, 101, 102, 97, 117, 108, 116, 67, 111,
        110, 116, 114, 111, 108, 108, 101, 114, 67, 97, 108, 108, 80, 117, 108, 108, 73,
        102, 78, 101, 101, 100, 101, 100, 40, 99, 111, 110, 116, 114, 111, 108, 108,
        101, 114, 41, 32, 123, 10, 32, 32, 32, 32, 99, 111, 110, 115, 116, 32, 115, 104,
        111, 117, 108, 100, 80, 117, 108, 108, 32, 61, 32, 82, 101, 97, 100, 97, 98,
        108, 101, 83, 116, 114, 101, 97, 109, 68, 101, 102, 97, 117, 108, 116, 67, 111,
        110, 116, 114, 111, 108, 108, 101, 114, 83, 104, 111, 117, 108, 100, 67, 97,
        108, 108, 80, 117, 108, 108, 40, 99, 111, 110, 116, 114, 111, 108, 108, 101,
        114, 41, 59, 10, 32, 32, 32, 32, 105, 102, 32, 40, 115, 104, 111, 117, 108, 100,
        80, 117, 108, 108, 32, 61, 61, 61, 32, 102, 97, 108, 115, 101, 41, 32, 123, 10,
        32, 32, 32, 32, 32, 32, 114, 101, 116, 117, 114, 110, 32, 117, 110, 100, 101,
        102, 105, 110, 101, 100, 59, 10, 32, 32, 32, 32, 125, 10, 32, 32, 32, 32, 105,
        102, 32, 40, 99, 111, 110, 116, 114, 111, 108, 108, 101, 114, 91, 95, 114, 101,
        97, 100, 97, 98, 108, 101, 83, 116, 114, 101, 97, 109, 68, 101, 102, 97, 117,
        108, 116, 67, 111, 110, 116, 114, 111, 108, 108, 101, 114, 66, 105, 116, 115,
        93, 32, 38, 32, 80, 85, 76, 76, 73, 78, 71, 41, 32, 123, 10, 32, 32, 32, 32, 32,
        32, 99, 111, 110, 116, 114, 111, 108, 108, 101, 114, 91, 95, 114, 101, 97, 100,
        97, 98, 108, 101, 83, 116, 114, 101, 97, 109, 68, 101, 102, 97, 117, 108, 116,
        67, 111, 110, 116, 114, 111, 108, 108, 101, 114, 66, 105, 116, 115, 93, 32, 124,
        61, 32, 80, 85, 76, 76, 95, 65, 71, 65, 73, 78, 59, 10, 32, 32, 32, 32, 32, 32,
        114, 101, 116, 117, 114, 110, 32, 117, 110, 100, 101, 102, 105, 110, 101, 100,
        59, 10, 32, 32, 32, 32, 125, 10, 32, 32, 32, 32, 99, 111, 110, 116, 114, 111,
        108, 108, 101, 114, 91, 95, 114, 101, 97, 100, 97, 98, 108, 101, 83, 116, 114,
        101, 97, 109, 68, 101, 102, 97, 117, 108, 116, 67, 111, 110, 116, 114, 111, 108,
        108, 101, 114, 66, 105, 116, 115, 93, 32, 124, 61, 32, 80, 85, 76, 76, 73, 78,
        71, 59, 10, 32, 32, 32, 32, 99, 111, 110, 115, 116, 32, 117, 110, 100, 101, 114,
        108, 121, 105, 110, 103, 83, 111, 117, 114, 99, 101, 32, 61, 32, 99, 111, 110,
        116, 114, 111, 108, 108, 101, 114, 91, 95, 117, 110, 100, 101, 114, 108, 121,
        105, 110, 103, 83, 111, 117, 114, 99, 101, 93, 59, 10, 32, 32, 32, 32, 99, 111,
        110, 115, 116, 32, 112, 117, 108, 108, 80, 114, 111, 109, 105, 115, 101, 32, 61,
        32, 80, 114, 111, 109, 105, 115, 101, 67, 97, 108, 108, 79, 114, 78, 111, 111,
        112, 40, 10, 32, 32, 32, 32, 32, 32, 32, 32, 117, 110, 100, 101, 114, 108, 121,
        105, 110, 103, 83, 111, 117, 114, 99, 101, 44, 32, 39, 112, 117, 108, 108, 39,
        44, 32, 99, 111, 110, 116, 114, 111, 108, 108, 101, 114, 44, 32, 39, 117, 110,
        100, 101, 114, 108, 121, 105, 110, 103, 83, 111, 117, 114, 99, 101, 46, 112,
        117, 108, 108, 39, 41, 59, 10, 32, 32, 32, 32, 116, 104, 101, 110, 80, 114, 111,
        109, 105, 115, 101, 40, 112, 117, 108, 108, 80, 114, 111, 109, 105, 115, 101,
        44, 10, 32, 32, 32, 32, 32, 32, 32, 32, 40, 41, 32, 61, 62, 32, 123, 10, 32, 32,
        32, 32, 32, 32, 32, 32, 32, 32, 99, 111, 110, 116, 114, 111, 108, 108, 101, 114,
        91, 95, 114, 101, 97, 100, 97, 98, 108, 101, 83, 116, 114, 101, 97, 109, 68,
        101, 102, 97, 117, 108, 116, 67, 111, 110, 116, 114, 111, 108, 108, 101, 114,
        66, 105, 116, 115, 93, 32, 38, 61, 32, 126, 80, 85, 76, 76, 73, 78, 71, 59, 10,
        32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 105, 102, 32, 40, 99, 111, 110, 116,
        114, 111, 108, 108, 101, 114, 91, 95, 114, 101, 97, 100, 97, 98, 108, 101, 83,
        116, 114, 101, 97, 109, 68, 101, 102, 97, 117, 108, 116, 67, 111, 110, 116, 114,
        111, 108, 108, 101, 114, 66, 105, 116, 115, 93, 32, 38, 32, 80, 85, 76, 76, 95,
        65, 71, 65, 73, 78, 41, 32, 123, 10, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32,
        32, 99, 111, 110, 116, 114, 111, 108, 108, 101, 114, 91, 95, 114, 101, 97, 100,
        97, 98, 108, 101, 83, 116, 114, 101, 97, 109, 68, 101, 102, 97, 117, 108, 116,
        67, 111, 110, 116, 114, 111, 108, 108, 101, 114, 66, 105, 116, 115, 93, 32, 38,
        61, 32, 126, 80, 85, 76, 76, 95, 65, 71, 65, 73, 78, 59, 10, 32, 32, 32, 32, 32,
        32, 32, 32, 32, 32, 32, 32, 82, 101, 97, 100, 97, 98, 108, 101, 83, 116, 114,
        101, 97, 109, 68, 101, 102, 97, 117, 108, 116, 67, 111, 110, 116, 114, 111, 108,
        108, 101, 114, 67, 97, 108, 108, 80, 117, 108, 108, 73, 102, 78, 101, 101, 100,
        101, 100, 40, 99, 111, 110, 116, 114, 111, 108, 108, 101, 114, 41, 59, 10, 32,
        32, 32, 32, 32, 32, 32, 32, 32, 32, 125, 10, 32, 32, 32, 32, 32, 32, 32, 32,
        125, 44, 10, 32, 32, 32, 32, 32, 32, 32, 32, 101, 32, 61, 62, 32, 123, 10, 32,
        32, 32, 32, 32, 32, 32, 32, 32, 32, 105, 102, 32, 40, 82, 101, 97, 100, 97, 98,
        108, 101, 83, 116, 114, 101, 97, 109, 71, 101, 116, 83, 116, 97, 116, 101, 40,
        99, 111, 110, 116, 114, 111, 108, 108, 101, 114, 91, 95, 99, 111, 110, 116, 114,
        111, 108, 108, 101, 100, 82, 101, 97, 100, 97, 98, 108, 101, 83, 116, 114, 101,
        97, 109, 93, 41, 32, 61, 61, 61, 32, 83, 84, 65, 84, 69, 95, 82, 69, 65, 68, 65,
        66, 76, 69, 41, 32, 123, 10, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 82,
        101, 97, 100, 97, 98, 108, 101, 83, 116, 114, 101, 97, 109, 68, 101, 102, 97,
        117, 108, 116, 67, 111, 110, 116, 114, 111, 108, 108, 101, 114, 69, 114, 114,
        111, 114, 40, 99, 111, 110, 116, 114, 111, 108, 108, 101, 114, 44, 32, 101, 41,
        59, 10, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 125, 10, 32, 32, 32, 32, 32, 32,
        32, 32, 125, 41, 59, 10, 32, 32, 125, 10, 32, 32, 102, 117, 110, 99, 116, 105,
        111, 110, 32, 82, 101, 97, 100, 97, 98, 108, 101, 83, 116, 114, 101, 97, 109,
        68, 101, 102, 97, 117, 108, 116, 67, 111, 110, 116, 114, 111, 108, 108, 101,
        114, 83, 104, 111, 117, 108, 100, 67, 97, 108, 108, 80, 117, 108, 108, 40, 99,
        111, 110, 116, 114, 111, 108, 108, 101, 114, 41, 32, 123, 10, 32, 32, 32, 32,
        99, 111, 110, 115, 116, 32, 115, 116, 114, 101, 97, 109, 32, 61, 32, 99, 111,
        110, 116, 114, 111, 108, 108, 101, 114, 91, 95, 99, 111, 110, 116, 114, 111,
        108, 108, 101, 100, 82, 101, 97, 100, 97, 98, 108, 101, 83, 116, 114, 101, 97,
        109, 93, 59, 10, 32, 32, 32, 32, 99, 111, 110, 115, 116, 32, 115, 116, 97, 116,
        101, 32, 61, 32, 82, 101, 97, 100, 97, 98, 108, 101, 83, 116, 114, 101, 97, 109,
        71, 101, 116, 83, 116, 97, 116, 101, 40, 115, 116, 114, 101, 97, 109, 41, 59,
        10, 32, 32, 32, 32, 105, 102, 32, 40, 115, 116, 97, 116, 101, 32, 61, 61, 61,
        32, 83, 84, 65, 84, 69, 95, 67, 76, 79, 83, 69, 68, 32, 124, 124, 32, 115, 116,
        97, 116, 101, 32, 61, 61, 61, 32, 83, 84, 65, 84, 69, 95, 69, 82, 82, 79, 82,
        69, 68, 41, 32, 123, 10, 32, 32, 32, 32, 32, 32, 114, 101, 116, 117, 114, 110,
        32, 102, 97, 108, 115, 101, 59, 10, 32, 32, 32, 32, 125, 10, 32, 32, 32, 32,
        105, 102, 32, 40, 99, 111, 110, 116, 114, 111, 108, 108, 101, 114, 91, 95, 114,
        101, 97, 100, 97, 98, 108, 101, 83, 116, 114, 101, 97, 109, 68, 101, 102, 97,
        117, 108, 116, 67, 111, 110, 116, 114, 111, 108, 108, 101, 114, 66, 105, 116,
        115, 93, 32, 38, 32, 67, 76, 79, 83, 69, 95, 82, 69, 81, 85, 69, 83, 84, 69, 68,
        41, 32, 123, 10, 32, 32, 32, 32, 32, 32, 114, 101, 116, 117, 114, 110, 32, 102,
        97, 108, 115, 101, 59, 10, 32, 32, 32, 32, 125, 10, 32, 32, 32, 32, 105, 102,
        32, 40, 33, 40, 99, 111, 110, 116, 114, 111, 108, 108, 101, 114, 91, 95, 114,
        101, 97, 100, 97, 98, 108, 101, 83, 116, 114, 101, 97, 109, 68, 101, 102, 97,
        117, 108, 116, 67, 111, 110, 116, 114, 111, 108, 108, 101, 114, 66, 105, 116,
        115, 93, 32, 38, 32, 83, 84, 65, 82, 84, 69, 68, 41, 41, 32, 123, 10, 32, 32,
        32, 32, 32, 32, 114, 101, 116, 117, 114, 110, 32, 102, 97, 108, 115, 101, 59,
        10, 32, 32, 32, 32, 125, 10, 32, 32, 32, 32, 105, 102, 32, 40, 73, 115, 82, 101,
        97, 100, 97, 98, 108, 101, 83, 116, 114, 101, 97, 109, 76, 111, 99, 107, 101,
        100, 40, 115, 116, 114, 101, 97, 109, 41, 32, 61, 61, 61, 32, 116, 114, 117,
        101, 32, 38, 38, 32, 82, 101, 97, 100, 97, 98, 108, 101, 83, 116, 114, 101, 97,
        109, 71, 101, 116, 78, 117, 109, 82, 101, 97, 100, 82, 101, 113, 117, 101, 115,
        116, 115, 40, 115, 116, 114, 101, 97, 109, 41, 32, 62, 32, 48, 41, 32, 123, 10,
        32, 32, 32, 32, 32, 32, 114, 101, 116, 117, 114, 110, 32, 116, 114, 117, 101,
        59, 10, 32, 32, 32, 32, 125, 10, 32, 32, 32, 32, 99, 111, 110, 115, 116, 32,
        100, 101, 115, 105, 114, 101, 100, 83, 105, 122, 101, 32, 61, 32, 82, 101, 97,
        100, 97, 98, 108, 101, 83, 116, 114, 101, 97, 109, 68, 101, 102, 97, 117, 108,
        116, 67, 111, 110, 116, 114, 111, 108, 108, 101, 114, 71, 101, 116, 68, 101,
        115, 105, 114, 101, 100, 83, 105, 122, 101, 40, 99, 111, 110, 116, 114, 111,
        108, 108, 101, 114, 41, 59, 10, 32, 32, 32, 32, 105, 102, 32, 40, 100, 101, 115,
        105, 114, 101, 100, 83, 105, 122, 101, 32, 62, 32, 48, 41, 32, 123, 10, 32, 32,
        32, 32, 32, 32, 114, 101, 116, 117, 114, 110, 32, 116, 114, 117, 101, 59, 10,
        32, 32, 32, 32, 125, 10, 32, 32, 32, 32, 114, 101, 116, 117, 114, 110, 32, 102,
        97, 108, 115, 101, 59, 10, 32, 32, 125, 10, 32, 32, 102, 117, 110, 99, 116, 105,
        111, 110, 32, 82, 101, 97, 100, 97, 98, 108, 101, 83, 116, 114, 101, 97, 109,
        71, 101, 116, 78, 117, 109, 82, 101, 97, 100, 82, 101, 113, 117, 101, 115, 116,
        115, 40, 115, 116, 114, 101, 97, 109, 41, 32, 123, 10, 32, 32, 32, 32, 99, 111,
        110, 115, 116, 32, 114, 101, 97, 100, 101, 114, 32, 61, 32, 115, 116, 114, 101,
        97, 109, 91, 95, 114, 101, 97, 100, 101, 114, 93, 59, 10, 32, 32, 32, 32, 99,
        111, 110, 115, 116, 32, 114, 101, 97, 100, 82, 101, 113, 117, 101, 115, 116,
        115, 32, 61, 32, 114, 101, 97, 100, 101, 114, 91, 95, 114, 101, 97, 100, 82,
        101, 113, 117, 101, 115, 116, 115, 93, 59, 10, 32, 32, 32, 32, 114, 101, 116,
        117, 114, 110, 32, 114, 101, 97, 100, 82, 101, 113, 117, 101, 115, 116, 115, 46,
        108, 101, 110, 103, 116, 104, 59, 10, 32, 32, 125, 10, 32, 32, 102, 117, 110,
        99, 116, 105, 111, 110, 32, 82, 101, 97, 100, 97, 98, 108, 101, 83, 116, 114,
        101, 97, 109, 84, 101, 101, 40, 115, 116, 114, 101, 97, 109, 41, 32, 123, 10,
        32, 32, 32, 32, 99, 111, 110, 115, 116, 32, 114, 101, 97, 100, 101, 114, 32, 61,
        32, 65, 99, 113, 117, 105, 114, 101, 82, 101, 97, 100, 97, 98, 108, 101, 83,
        116, 114, 101, 97, 109, 68, 101, 102, 97, 117, 108, 116, 82, 101, 97, 100, 101,
        114, 40, 115, 116, 114, 101, 97, 109, 41, 59, 10, 32, 32, 32, 32, 108, 101, 116,
        32, 99, 108, 111, 115, 101, 100, 79, 114, 69, 114, 114, 111, 114, 101, 100, 32,
        61, 32, 102, 97, 108, 115, 101, 59, 10, 32, 32, 32, 32, 108, 101, 116, 32, 99,
        97, 110, 99, 101, 108, 101, 100, 49, 32, 61, 32, 102, 97, 108, 115, 101, 59, 10,
        32, 32, 32, 32, 108, 101, 116, 32, 99, 97, 110, 99, 101, 108, 101, 100, 50, 32,
        61, 32, 102, 97, 108, 115, 101, 59, 10, 32, 32, 32, 32, 108, 101, 116, 32, 114,
        101, 97, 115, 111, 110, 49, 59, 10, 32, 32, 32, 32, 108, 101, 116, 32, 114, 101,
        97, 115, 111, 110, 50, 59, 10, 32, 32, 32, 32, 108, 101, 116, 32, 112, 114, 111,
        109, 105, 115, 101, 32, 61, 32, 118, 56, 46, 99, 114, 101, 97, 116, 101, 80,
        114, 111, 109, 105, 115, 101, 40, 41, 59, 10, 32, 32, 32, 32, 99, 111, 110, 115,
        116, 32, 98, 114, 97, 110, 99, 104, 49, 83, 116, 114, 101, 97, 109, 32, 61, 32,
        110, 101, 119, 32, 82, 101, 97, 100, 97, 98, 108, 101, 83, 116, 114, 101, 97,
        109, 40, 123, 112, 117, 108, 108, 44, 32, 99, 97, 110, 99, 101, 108, 58, 32, 99,
        97, 110, 99, 101, 108, 49, 125, 41, 59, 10, 32, 32, 32, 32, 99, 111, 110, 115,
        116, 32, 98, 114, 97, 110, 99, 104, 50, 83, 116, 114, 101, 97, 109, 32, 61, 32,
        110, 101, 119, 32, 82, 101, 97, 100, 97, 98, 108, 101, 83, 116, 114, 101, 97,
        109, 40, 123, 112, 117, 108, 108, 44, 32, 99, 97, 110, 99, 101, 108, 58, 32, 99,
        97, 110, 99, 101, 108, 50, 125, 41, 59, 10, 32, 32, 32, 32, 99, 111, 110, 115,
        116, 32, 98, 114, 97, 110, 99, 104, 49, 32, 61, 32, 98, 114, 97, 110, 99, 104,
        49, 83, 116, 114, 101, 97, 109, 91, 95, 99, 111, 110, 116, 114, 111, 108, 108,
        101, 114, 93, 59, 10, 32, 32, 32, 32, 99, 111, 110, 115, 116, 32, 98, 114, 97,
        110, 99, 104, 50, 32, 61, 32, 98, 114, 97, 110, 99, 104, 50, 83, 116, 114, 101,
        97, 109, 91, 95, 99, 111, 110, 116, 114, 111, 108, 108, 101, 114, 93, 59, 10,
        32, 32, 32, 32, 116, 104, 101, 110, 80, 114, 111, 109, 105, 115, 101, 40, 10,
        32, 32, 32, 32, 32, 32, 32, 32, 114, 101, 97, 100, 101, 114, 91, 95, 99, 108,
        111, 115, 101, 100, 80, 114, 111, 109, 105, 115, 101, 93, 44, 32, 117, 110, 100,
        101, 102, 105, 110, 101, 100, 44, 32, 102, 117, 110, 99, 116, 105, 111, 110, 40,
        114, 41, 32, 123, 10, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 105, 102, 32, 40,
        99, 108, 111, 115, 101, 100, 79, 114, 69, 114, 114, 111, 114, 101, 100, 32, 61,
        61, 61, 32, 116, 114, 117, 101, 41, 32, 123, 10, 32, 32, 32, 32, 32, 32, 32, 32,
        32, 32, 32, 32, 114, 101, 116, 117, 114, 110, 59, 10, 32, 32, 32, 32, 32, 32,
        32, 32, 32, 32, 125, 10, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 82, 101, 97,
        100, 97, 98, 108, 101, 83, 116, 114, 101, 97, 109, 68, 101, 102, 97, 117, 108,
        116, 67, 111, 110, 116, 114, 111, 108, 108, 101, 114, 69, 114, 114, 111, 114,
        40, 98, 114, 97, 110, 99, 104, 49, 44, 32, 114, 41, 59, 10, 32, 32, 32, 32, 32,
        32, 32, 32, 32, 32, 82, 101, 97, 100, 97, 98, 108, 101, 83, 116, 114, 101, 97,
        109, 68, 101, 102, 97, 117, 108, 116, 67, 111, 110, 116, 114, 111, 108, 108,
        101, 114, 69, 114, 114, 111, 114, 40, 98, 114, 97, 110, 99, 104, 50, 44, 32,
        114, 41, 59, 10, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 99, 108, 111, 115, 101,
        100, 79, 114, 69, 114, 114, 111, 114, 101, 100, 32, 61, 32, 116, 114, 117, 101,
        59, 10, 32, 32, 32, 32, 32, 32, 32, 32, 125, 41, 59, 10, 32, 32, 32, 32, 114,
        101, 116, 117, 114, 110, 32, 91, 98, 114, 97, 110, 99, 104, 49, 83, 116, 114,
        101, 97, 109, 44, 32, 98, 114, 97, 110, 99, 104, 50, 83, 116, 114, 101, 97, 109,
        93, 59, 10, 32, 32, 32, 32, 102, 117, 110, 99, 116, 105, 111, 110, 32, 112, 117,
        108, 108, 40, 41, 32, 123, 10, 32, 32, 32, 32, 32, 32, 114, 101, 116, 117, 114,
        110, 32, 116, 104, 101, 110, 80, 114, 111, 109, 105, 115, 101, 40, 10, 32, 32,
        32, 32, 32, 32, 32, 32, 32, 32, 82, 101, 97, 100, 97, 98, 108, 101, 83, 116,
        114, 101, 97, 109, 68, 101, 102, 97, 117, 108, 116, 82, 101, 97, 100, 101, 114,
        82, 101, 97, 100, 40, 114, 101, 97, 100, 101, 114, 41, 44, 32, 102, 117, 110,
        99, 116, 105, 111, 110, 40, 114, 101, 115, 117, 108, 116, 41, 32, 123, 10, 32,
        32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 99, 111, 110, 115, 116, 32, 118, 97,
        108, 117, 101, 32, 61, 32, 114, 101, 115, 117, 108, 116, 46, 118, 97, 108, 117,
        101, 59, 10, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 99, 111, 110, 115,
        116, 32, 100, 111, 110, 101, 32, 61, 32, 114, 101, 115, 117, 108, 116, 46, 100,
        111, 110, 101, 59, 10, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 105, 102,
        32, 40, 100, 111, 110, 101, 32, 61, 61, 61, 32, 116, 114, 117, 101, 32, 38, 38,
        32, 99, 108, 111, 115, 101, 100, 79, 114, 69, 114, 114, 111, 114, 101, 100, 32,
        61, 61, 61, 32, 102, 97, 108, 115, 101, 41, 32, 123, 10, 32, 32, 32, 32, 32, 32,
        32, 32, 32, 32, 32, 32, 32, 32, 105, 102, 32, 40, 99, 97, 110, 99, 101, 108,
        101, 100, 49, 32, 61, 61, 61, 32, 102, 97, 108, 115, 101, 41, 32, 123, 10, 32,
        32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 82, 101, 97, 100,
        97, 98, 108, 101, 83, 116, 114, 101, 97, 109, 68, 101, 102, 97, 117, 108, 116,
        67, 111, 110, 116, 114, 111, 108, 108, 101, 114, 67, 108, 111, 115, 101, 40, 98,
        114, 97, 110, 99, 104, 49, 41, 59, 10, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32,
        32, 32, 32, 32, 125, 10, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32,
        105, 102, 32, 40, 99, 97, 110, 99, 101, 108, 101, 100, 50, 32, 61, 61, 61, 32,
        102, 97, 108, 115, 101, 41, 32, 123, 10, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32,
        32, 32, 32, 32, 32, 32, 82, 101, 97, 100, 97, 98, 108, 101, 83, 116, 114, 101,
        97, 109, 68, 101, 102, 97, 117, 108, 116, 67, 111, 110, 116, 114, 111, 108, 108,
        101, 114, 67, 108, 111, 115, 101, 40, 98, 114, 97, 110, 99, 104, 50, 41, 59, 10,
        32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 125, 10, 32, 32, 32, 32,
        32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 99, 108, 111, 115, 101, 100, 79, 114,
        69, 114, 114, 111, 114, 101, 100, 32, 61, 32, 116, 114, 117, 101, 59, 10, 32,
        32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 125, 10, 32, 32, 32, 32, 32, 32, 32,
        32, 32, 32, 32, 32, 105, 102, 32, 40, 99, 108, 111, 115, 101, 100, 79, 114, 69,
        114, 114, 111, 114, 101, 100, 32, 61, 61, 61, 32, 116, 114, 117, 101, 41, 32,
        123, 10, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 114, 101, 116,
        117, 114, 110, 59, 10, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 125, 10,
        32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 105, 102, 32, 40, 99, 97, 110,
        99, 101, 108, 101, 100, 49, 32, 61, 61, 61, 32, 102, 97, 108, 115, 101, 41, 32,
        123, 10, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 82, 101, 97,
        100, 97, 98, 108, 101, 83, 116, 114, 101, 97, 109, 68, 101, 102, 97, 117, 108,
        116, 67, 111, 110, 116, 114, 111, 108, 108, 101, 114, 69, 110, 113, 117, 101,
        117, 101, 40, 98, 114, 97, 110, 99, 104, 49, 44, 32, 118, 97, 108, 117, 101, 41,
        59, 10, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 125, 10, 32, 32, 32, 32,
        32, 32, 32, 32, 32, 32, 32, 32, 105, 102, 32, 40, 99, 97, 110, 99, 101, 108,
        101, 100, 50, 32, 61, 61, 61, 32, 102, 97, 108, 115, 101, 41, 32, 123, 10, 32,
        32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 82, 101, 97, 100, 97, 98,
        108, 101, 83, 116, 114, 101, 97, 109, 68, 101, 102, 97, 117, 108, 116, 67, 111,
        110, 116, 114, 111, 108, 108, 101, 114, 69, 110, 113, 117, 101, 117, 101, 40,
        98, 114, 97, 110, 99, 104, 50, 44, 32, 118, 97, 108, 117, 101, 41, 59, 10, 32,
        32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 125, 10, 32, 32, 32, 32, 32, 32, 32,
        32, 32, 32, 125, 41, 59, 10, 32, 32, 32, 32, 125, 10, 32, 32, 32, 32, 102, 117,
        110, 99, 116, 105, 111, 110, 32, 99, 97, 110, 99, 101, 108, 49, 40, 114, 101,
        97, 115, 111, 110, 41, 32, 123, 10, 32, 32, 32, 32, 32, 32, 99, 97, 110, 99,
        101, 108, 101, 100, 49, 32, 61, 32, 116, 114, 117, 101, 59, 10, 32, 32, 32, 32,
        32, 32, 114, 101, 97, 115, 111, 110, 49, 32, 61, 32, 114, 101, 97, 115, 111,
        110, 59, 10, 32, 32, 32, 32, 32, 32, 105, 102, 32, 40, 99, 97, 110, 99, 101,
        108, 101, 100, 50, 32, 61, 61, 61, 32, 116, 114, 117, 101, 41, 32, 123, 10, 32,
        32, 32, 32, 32, 32, 32, 32, 99, 111, 110, 115, 116, 32, 99, 111, 109, 112, 111,
        115, 105, 116, 101, 82, 101, 97, 115, 111, 110, 32, 61, 32, 91, 114, 101, 97,
        115, 111, 110, 49, 44, 32, 114, 101, 97, 115, 111, 110, 50, 93, 59, 10, 32, 32,
        32, 32, 32, 32, 32, 32, 99, 111, 110, 115, 116, 32, 99, 97, 110, 99, 101, 108,
        82, 101, 115, 117, 108, 116, 32, 61, 32, 82, 101, 97, 100, 97, 98, 108, 101, 83,
        116, 114, 101, 97, 109, 67, 97, 110, 99, 101, 108, 40, 115, 116, 114, 101, 97,
        109, 44, 32, 99, 111, 109, 112, 111, 115, 105, 116, 101, 82, 101, 97, 115, 111,
        110, 41, 59, 10, 32, 32, 32, 32, 32, 32, 32, 32, 118, 56, 46, 114, 101, 115,
        111, 108, 118, 101, 80, 114, 111, 109, 105, 115, 101, 40, 112, 114, 111, 109,
        105, 115, 101, 44, 32, 99, 97, 110, 99, 101, 108, 82, 101, 115, 117, 108, 116,
        41, 59, 10, 32, 32, 32, 32, 32, 32, 125, 10, 32, 32, 32, 32, 32, 32, 114, 101,
        116, 117, 114, 110, 32, 112, 114, 111, 109, 105, 115, 101, 59, 10, 32, 32, 32,
        32, 125, 10, 32, 32, 32, 32, 102, 117, 110, 99, 116, 105, 111, 110, 32, 99, 97,
        110, 99, 101, 108, 50, 40, 114, 101, 97, 115, 111, 110, 41, 32, 123, 10, 32, 32,
        32, 32, 32, 32, 99, 97, 110, 99, 101, 108, 101, 100, 50, 32, 61, 32, 116, 114,
        117, 101, 59, 10, 32, 32, 32, 32, 32, 32, 114, 101, 97, 115, 111, 110, 50, 32,
        61, 32, 114, 101, 97, 115, 111, 110, 59, 10, 32, 32, 32, 32, 32, 32, 105, 102,
        32, 40, 99, 97, 110, 99, 101, 108, 101, 100, 49, 32, 61, 61, 61, 32, 116, 114,
        117, 101, 41, 32, 123, 10, 32, 32, 32, 32, 32, 32, 32, 32, 99, 111, 110, 115,
        116, 32, 99, 111, 109, 112, 111, 115, 105, 116, 101, 82, 101, 97, 115, 111, 110,
        32, 61, 32, 91, 114, 101, 97, 115, 111, 110, 49, 44, 32, 114, 101, 97, 115, 111,
        110, 50, 93, 59, 10, 32, 32, 32, 32, 32, 32, 32, 32, 99, 111, 110, 115, 116, 32,
        99, 97, 110, 99, 101, 108, 82, 101, 115, 117, 108, 116, 32, 61, 32, 82, 101, 97,
        100, 97, 98, 108, 101, 83, 116, 114, 101, 97, 109, 67, 97, 110, 99, 101, 108,
        40, 115, 116, 114, 101, 97, 109, 44, 32, 99, 111, 109, 112, 111, 115, 105, 116,
        101, 82, 101, 97, 115, 111, 110, 41, 59, 10, 32, 32, 32, 32, 32, 32, 32, 32,
        118, 56, 46, 114, 101, 115, 111, 108, 118, 101, 80, 114, 111, 109, 105, 115,
        101, 40, 112, 114, 111, 109, 105, 115, 101, 44, 32, 99, 97, 110, 99, 101, 108,
        82, 101, 115, 117, 108, 116, 41, 59, 10, 32, 32, 32, 32, 32, 32, 125, 10, 32,
        32, 32, 32, 32, 32, 114, 101, 116, 117, 114, 110, 32, 112, 114, 111, 109, 105,
        115, 101, 59, 10, 32, 32, 32, 32, 125, 10, 32, 32, 125, 10, 32, 32, 102, 117,
        110, 99, 116, 105, 111, 110, 32, 68, 101, 113, 117, 101, 117, 101, 86, 97, 108,
        117, 101, 40, 99, 111, 110, 116, 114, 111, 108, 108, 101, 114, 41, 32, 123, 10,
        32, 32, 32, 32, 99, 111, 110, 115, 116, 32, 114, 101, 115, 117, 108, 116, 32,
        61, 32, 99, 111, 110, 116, 114, 111, 108, 108, 101, 114, 91, 95, 113, 117, 101,
        117, 101, 93, 46, 115, 104, 105, 102, 116, 40, 41, 59, 10, 32, 32, 32, 32, 99,
        111, 110, 116, 114, 111, 108, 108, 101, 114, 91, 95, 116, 111, 116, 97, 108, 81,
        117, 101, 117, 101, 100, 83, 105, 122, 101, 93, 32, 45, 61, 32, 114, 101, 115,
        117, 108, 116, 46, 115, 105, 122, 101, 59, 10, 32, 32, 32, 32, 114, 101, 116,
        117, 114, 110, 32, 114, 101, 115, 117, 108, 116, 46, 118, 97, 108, 117, 101, 59,
        10, 32, 32, 125, 10, 32, 32, 102, 117, 110, 99, 116, 105, 111, 110, 32, 69, 110,
        113, 117, 101, 117, 101, 86, 97, 108, 117, 101, 87, 105, 116, 104, 83, 105, 122,
        101, 40, 99, 111, 110, 116, 114, 111, 108, 108, 101, 114, 44, 32, 118, 97, 108,
        117, 101, 44, 32, 115, 105, 122, 101, 41, 32, 123, 10, 32, 32, 32, 32, 115, 105,
        122, 101, 32, 61, 32, 78, 117, 109, 98, 101, 114, 40, 115, 105, 122, 101, 41,
        59, 10, 32, 32, 32, 32, 105, 102, 32, 40, 78, 117, 109, 98, 101, 114, 95, 105,
        115, 78, 97, 78, 40, 115, 105, 122, 101, 41, 32, 124, 124, 32, 115, 105, 122,
        101, 32, 61, 61, 61, 32, 43, 73, 110, 102, 105, 110, 105, 116, 121, 32, 124,
        124, 32, 115, 105, 122, 101, 32, 60, 32, 48, 41, 32, 123, 10, 32, 32, 32, 32,
        32, 32, 116, 104, 114, 111, 119, 32, 110, 101, 119, 32, 82, 97, 110, 103, 101,
        69, 114, 114, 111, 114, 40, 115, 116, 114, 101, 97, 109, 69, 114, 114, 111, 114,
        115, 46, 105, 110, 118, 97, 108, 105, 100, 83, 105, 122, 101, 41, 59, 10, 32,
        32, 32, 32, 125, 10, 32, 32, 32, 32, 99, 111, 110, 116, 114, 111, 108, 108, 101,
        114, 91, 95, 116, 111, 116, 97, 108, 81, 117, 101, 117, 101, 100, 83, 105, 122,
        101, 93, 32, 43, 61, 32, 115, 105, 122, 101, 59, 10, 32, 32, 32, 32, 99, 111,
        110, 116, 114, 111, 108, 108, 101, 114, 91, 95, 113, 117, 101, 117, 101, 93, 46,
        112, 117, 115, 104, 40, 123, 118, 97, 108, 117, 101, 44, 32, 115, 105, 122, 101,
        125, 41, 59, 10, 32, 32, 125, 10, 32, 32, 102, 117, 110, 99, 116, 105, 111, 110,
        32, 71, 101, 116, 84, 111, 116, 97, 108, 81, 117, 101, 117, 101, 83, 105, 122,
        101, 40, 99, 111, 110, 116, 114, 111, 108, 108, 101, 114, 41, 32, 123, 32, 114,
        101, 116, 117, 114, 110, 32, 99, 111, 110, 116, 114, 111, 108, 108, 101, 114,
        91, 95, 116, 111, 116, 97, 108, 81, 117, 101, 117, 101, 100, 83, 105, 122, 101,
        93, 59, 32, 125, 10, 32, 32, 102, 117, 110, 99, 116, 105, 111, 110, 32, 86, 97,
        108, 105, 100, 97, 116, 101, 65, 110, 100, 78, 111, 114, 109, 97, 108, 105, 122,
        101, 81, 117, 101, 117, 105, 110, 103, 83, 116, 114, 97, 116, 101, 103, 121, 40,
        115, 105, 122, 101, 44, 32, 104, 105, 103, 104, 87, 97, 116, 101, 114, 77, 97,
        114, 107, 41, 32, 123, 10, 32, 32, 32, 32, 105, 102, 32, 40, 115, 105, 122, 101,
        32, 33, 61, 61, 32, 117, 110, 100, 101, 102, 105, 110, 101, 100, 32, 38, 38, 32,
        116, 121, 112, 101, 111, 102, 32, 115, 105, 122, 101, 32, 33, 61, 61, 32, 39,
        102, 117, 110, 99, 116, 105, 111, 110, 39, 41, 32, 123, 10, 32, 32, 32, 32, 32,
        32, 116, 104, 114, 111, 119, 32, 110, 101, 119, 32, 84, 121, 112, 101, 69, 114,
        114, 111, 114, 40, 115, 116, 114, 101, 97, 109, 69, 114, 114, 111, 114, 115, 46,
        115, 105, 122, 101, 78, 111, 116, 65, 70, 117, 110, 99, 116, 105, 111, 110, 41,
        59, 10, 32, 32, 32, 32, 125, 10, 32, 32, 32, 32, 104, 105, 103, 104, 87, 97,
        116, 101, 114, 77, 97, 114, 107, 32, 61, 32, 78, 117, 109, 98, 101, 114, 40,
        104, 105, 103, 104, 87, 97, 116, 101, 114, 77, 97, 114, 107, 41, 59, 10, 32, 32,
        32, 32, 105, 102, 32, 40, 78, 117, 109, 98, 101, 114, 95, 105, 115, 78, 97, 78,
        40, 104, 105, 103, 104, 87, 97, 116, 101, 114, 77, 97, 114, 107, 41, 41, 32,
        123, 10, 32, 32, 32, 32, 32, 32, 116, 104, 114, 111, 119, 32, 110, 101, 119, 32,
        82, 97, 110, 103, 101, 69, 114, 114, 111, 114, 40, 115, 116, 114, 101, 97, 109,
        69, 114, 114, 111, 114, 115, 46, 101, 114, 114, 73, 110, 118, 97, 108, 105, 100,
        72, 87, 77, 41, 59, 10, 32, 32, 32, 32, 125, 10, 32, 32, 32, 32, 105, 102, 32,
        40, 104, 105, 103, 104, 87, 97, 116, 101, 114, 77, 97, 114, 107, 32, 60, 32, 48,
        41, 32, 123, 10, 32, 32, 32, 32, 32, 32, 116, 104, 114, 111, 119, 32, 110, 101,
        119, 32, 82, 97, 110, 103, 101, 69, 114, 114, 111, 114, 40, 115, 116, 114, 101,
        97, 109, 69, 114, 114, 111, 114, 115, 46, 105, 110, 118, 97, 108, 105, 100, 72,
        87, 77, 41, 59, 10, 32, 32, 32, 32, 125, 10, 32, 32, 32, 32, 114, 101, 116, 117,
        114, 110, 32, 123, 115, 105, 122, 101, 44, 32, 104, 105, 103, 104, 87, 97, 116,
        101, 114, 77, 97, 114, 107, 125, 59, 10, 32, 32, 125, 10, 32, 32, 102, 117, 110,
        99, 116, 105, 111, 110, 32, 67, 97, 108, 108, 79, 114, 78, 111, 111, 112, 40,
        79, 44, 32, 80, 44, 32, 97, 114, 103, 44, 32, 110, 97, 109, 101, 70, 111, 114,
        69, 114, 114, 111, 114, 41, 32, 123, 10, 32, 32, 32, 32, 99, 111, 110, 115, 116,
        32, 109, 101, 116, 104, 111, 100, 32, 61, 32, 79, 91, 80, 93, 59, 10, 32, 32,
        32, 32, 105, 102, 32, 40, 109, 101, 116, 104, 111, 100, 32, 61, 61, 61, 32, 117,
        110, 100, 101, 102, 105, 110, 101, 100, 41, 32, 123, 10, 32, 32, 32, 32, 32, 32,
        114, 101, 116, 117, 114, 110, 32, 117, 110, 100, 101, 102, 105, 110, 101, 100,
        59, 10, 32, 32, 32, 32, 125, 10, 32, 32, 32, 32, 105, 102, 32, 40, 116, 121,
        112, 101, 111, 102, 32, 109, 101, 116, 104, 111, 100, 32, 33, 61, 61, 32, 39,
        102, 117, 110, 99, 116, 105, 111, 110, 39, 41, 32, 123, 10, 32, 32, 32, 32, 32,
        32, 116, 104, 114, 111, 119, 32, 110, 101, 119, 32, 84, 121, 112, 101, 69, 114,
        114, 111, 114, 40, 101, 114, 114, 84, 109, 112, 108, 77, 117, 115, 116, 66, 101,
        70, 117, 110, 99, 116, 105, 111, 110, 79, 114, 85, 110, 100, 101, 102, 105, 110,
        101, 100, 40, 110, 97, 109, 101, 70, 111, 114, 69, 114, 114, 111, 114, 41, 41,
        59, 10, 32, 32, 32, 32, 125, 10, 32, 32, 32, 32, 114, 101, 116, 117, 114, 110,
        32, 99, 97, 108, 108, 70, 117, 110, 99, 116, 105, 111, 110, 40, 109, 101, 116,
        104, 111, 100, 44, 32, 79, 44, 32, 97, 114, 103, 41, 59, 10, 32, 32, 125, 10,
        32, 32, 102, 117, 110, 99, 116, 105, 111, 110, 32, 80, 114, 111, 109, 105, 115,
        101, 67, 97, 108, 108, 79, 114, 78, 111, 111, 112, 40, 79, 44, 32, 80, 44, 32,
        97, 114, 103, 44, 32, 110, 97, 109, 101, 70, 111, 114, 69, 114, 114, 111, 114,
        41, 32, 123, 10, 32, 32, 32, 32, 108, 101, 116, 32, 109, 101, 116, 104, 111,
        100, 59, 10, 32, 32, 32, 32, 116, 114, 121, 32, 123, 10, 32, 32, 32, 32, 32, 32,
        109, 101, 116, 104, 111, 100, 32, 61, 32, 79, 91, 80, 93, 59, 10, 32, 32, 32,
        32, 125, 32, 99, 97, 116, 99, 104, 32, 40, 109, 101, 116, 104, 111, 100, 69, 41,
        32, 123, 10, 32, 32, 32, 32, 32, 32, 114, 101, 116, 117, 114, 110, 32, 80, 114,
        111, 109, 105, 115, 101, 95, 114, 101, 106, 101, 99, 116, 40, 109, 101, 116,
        104, 111, 100, 69, 41, 59, 10, 32, 32, 32, 32, 125, 10, 32, 32, 32, 32, 105,
        102, 32, 40, 109, 101, 116, 104, 111, 100, 32, 61, 61, 61, 32, 117, 110, 100,
        101, 102, 105, 110, 101, 100, 41, 32, 123, 10, 32, 32, 32, 32, 32, 32, 114, 101,
        116, 117, 114, 110, 32, 80, 114, 111, 109, 105, 115, 101, 95, 114, 101, 115,
        111, 108, 118, 101, 40, 117, 110, 100, 101, 102, 105, 110, 101, 100, 41, 59, 10,
        32, 32, 32, 32, 125, 10, 32, 32, 32, 32, 105, 102, 32, 40, 116, 121, 112, 101,
        111, 102, 32, 109, 101, 116, 104, 111, 100, 32, 33, 61, 61, 32, 39, 102, 117,
        110, 99, 116, 105, 111, 110, 39, 41, 32, 123, 10, 32, 32, 32, 32, 32, 32, 114,
        101, 116, 117, 114, 110, 32, 80, 114, 111, 109, 105, 115, 101, 95, 114, 101,
        106, 101, 99, 116, 40, 110, 101, 119, 32, 84, 121, 112, 101, 69, 114, 114, 111,
        114, 40, 101, 114, 114, 84, 109, 112, 108, 77, 117, 115, 116, 66, 101, 70, 117,
        110, 99, 116, 105, 111, 110, 79, 114, 85, 110, 100, 101, 102, 105, 110, 101,
        100, 40, 110, 97, 109, 101, 70, 111, 114, 69, 114, 114, 111, 114, 41, 41, 41,
        59, 10, 32, 32, 32, 32, 125, 10, 32, 32, 32, 32, 116, 114, 121, 32, 123, 10, 32,
        32, 32, 32, 32, 32, 114, 101, 116, 117, 114, 110, 32, 80, 114, 111, 109, 105,
        115, 101, 95, 114, 101, 115, 111, 108, 118, 101, 40, 99, 97, 108, 108, 70, 117,
        110, 99, 116, 105, 111, 110, 40, 109, 101, 116, 104, 111, 100, 44, 32, 79, 44,
        32, 97, 114, 103, 41, 41, 59, 10, 32, 32, 32, 32, 125, 32, 99, 97, 116, 99, 104,
        32, 40, 101, 41, 32, 123, 10, 32, 32, 32, 32, 32, 32, 114, 101, 116, 117, 114,
        110, 32, 80, 114, 111, 109, 105, 115, 101, 95, 114, 101, 106, 101, 99, 116, 40,
        101, 41, 59, 10, 32, 32, 32, 32, 125, 10, 32, 32, 125, 10, 32, 32, 102, 117,
        110, 99, 116, 105, 111, 110, 32, 67, 114, 101, 97, 116, 101, 73, 116, 101, 114,
        82, 101, 115, 117, 108, 116, 79, 98, 106, 101, 99, 116, 40, 118, 97, 108, 117,
        101, 44, 32, 100, 111, 110, 101, 41, 32, 123, 32, 114, 101, 116, 117, 114, 110,
        32, 123, 118, 97, 108, 117, 101, 44, 32, 100, 111, 110, 101, 125, 59, 32, 125,
        10, 32, 32, 100, 101, 102, 105, 110, 101, 80, 114, 111, 112, 101, 114, 116, 121,
        40, 103, 108, 111, 98, 97, 108, 44, 32, 39, 82, 101, 97, 100, 97, 98, 108, 101,
        83, 116, 114, 101, 97, 109, 39, 44, 32, 123, 10, 32, 32, 32, 32, 118, 97, 108,
        117, 101, 58, 32, 82, 101, 97, 100, 97, 98, 108, 101, 83, 116, 114, 101, 97,
        109, 44, 10, 32, 32, 32, 32, 101, 110, 117, 109, 101, 114, 97, 98, 108, 101, 58,
        32, 102, 97, 108, 115, 101, 44, 10, 32, 32, 32, 32, 99, 111, 110, 102, 105, 103,
        117, 114, 97, 98, 108, 101, 58, 32, 116, 114, 117, 101, 44, 10, 32, 32, 32, 32,
        119, 114, 105, 116, 97, 98, 108, 101, 58, 32, 116, 114, 117, 101, 10, 32, 32,
        125, 41, 59, 10, 32, 32, 98, 105, 110, 100, 105, 110, 103, 46, 65, 99, 113, 117,
        105, 114, 101, 82, 101, 97, 100, 97, 98, 108, 101, 83, 116, 114, 101, 97, 109,
        68, 101, 102, 97, 117, 108, 116, 82, 101, 97, 100, 101, 114, 32, 61, 32, 65, 99,
        113, 117, 105, 114, 101, 82, 101, 97, 100, 97, 98, 108, 101, 83, 116, 114, 101,
        97, 109, 68, 101, 102, 97, 117, 108, 116, 82, 101, 97, 100, 101, 114, 59, 10,
        32, 32, 98, 105, 110, 100, 105, 110, 103, 46, 73, 115, 82, 101, 97, 100, 97, 98,
        108, 101, 83, 116, 114, 101, 97, 109, 32, 61, 32, 73, 115, 82, 101, 97, 100, 97,
        98, 108, 101, 83, 116, 114, 101, 97, 109, 59, 10, 32, 32, 98, 105, 110, 100,
        105, 110, 103, 46, 73, 115, 82, 101, 97, 100, 97, 98, 108, 101, 83, 116, 114,
        101, 97, 109, 68, 105, 115, 116, 117, 114, 98, 101, 100, 32, 61, 32, 73, 115,
        82, 101, 97, 100, 97, 98, 108, 101, 83, 116, 114, 101, 97, 109, 68, 105, 115,
        116, 117, 114, 98, 101, 100, 59, 10, 32, 32, 98, 105, 110, 100, 105, 110, 103,
        46, 73, 115, 82, 101, 97, 100, 97, 98, 108, 101, 83, 116, 114, 101, 97, 109, 76,
        111, 99, 107, 101, 100, 32, 61, 32, 73, 115, 82, 101, 97, 100, 97, 98, 108, 101,
        83, 116, 114, 101, 97, 109, 76, 111, 99, 107, 101, 100, 59, 10, 32, 32, 98, 105,
        110, 100, 105, 110, 103, 46, 73, 115, 82, 101, 97, 100, 97, 98, 108, 101, 83,
        116, 114, 101, 97, 109, 82, 101, 97, 100, 97, 98, 108, 101, 32, 61, 32, 73, 115,
        82, 101, 97, 100, 97, 98, 108, 101, 83, 116, 114, 101, 97, 109, 82, 101, 97,
        100, 97, 98, 108, 101, 59, 10, 32, 32, 98, 105, 110, 100, 105, 110, 103, 46, 73,
        115, 82, 101, 97, 100, 97, 98, 108, 101, 83, 116, 114, 101, 97, 109, 67, 108,
        111, 115, 101, 100, 32, 61, 32, 73, 115, 82, 101, 97, 100, 97, 98, 108, 101, 83,
        116, 114, 101, 97, 109, 67, 108, 111, 115, 101, 100, 59, 10, 32, 32, 98, 105,
        110, 100, 105, 110, 103, 46, 73, 115, 82, 101, 97, 100, 97, 98, 108, 101, 83,
        116, 114, 101, 97, 109, 69, 114, 114, 111, 114, 101, 100, 32, 61, 32, 73, 115,
        82, 101, 97, 100, 97, 98, 108, 101, 83, 116, 114, 101, 97, 109, 69, 114, 114,
        111, 114, 101, 100, 59, 10, 32, 32, 98, 105, 110, 100, 105, 110, 103, 46, 73,
        115, 82, 101, 97, 100, 97, 98, 108, 101, 83, 116, 114, 101, 97, 109, 68, 101,
        102, 97, 117, 108, 116, 82, 101, 97, 100, 101, 114, 32, 61, 32, 73, 115, 82,
        101, 97, 100, 97, 98, 108, 101, 83, 116, 114, 101, 97, 109, 68, 101, 102, 97,
        117, 108, 116, 82, 101, 97, 100, 101, 114, 59, 10, 32, 32, 98, 105, 110, 100,
        105, 110, 103, 46, 82, 101, 97, 100, 97, 98, 108, 101, 83, 116, 114, 101, 97,
        109, 68, 101, 102, 97, 117, 108, 116, 82, 101, 97, 100, 101, 114, 82, 101, 97,
        100, 32, 61, 32, 82, 101, 97, 100, 97, 98, 108, 101, 83, 116, 114, 101, 97, 109,
        68, 101, 102, 97, 117, 108, 116, 82, 101, 97, 100, 101, 114, 82, 101, 97, 100,
        59, 10, 32, 32, 98, 105, 110, 100, 105, 110, 103, 46, 82, 101, 97, 100, 97, 98,
        108, 101, 83, 116, 114, 101, 97, 109, 84, 101, 101, 32, 61, 32, 82, 101, 97,
        100, 97, 98, 108, 101, 83, 116, 114, 101, 97, 109, 84, 101, 101, 59, 10, 32, 32,
        98, 105, 110, 100, 105, 110, 103, 46, 82, 101, 97, 100, 97, 98, 108, 101, 83,
        116, 114, 101, 97, 109, 68, 101, 102, 97, 117, 108, 116, 67, 111, 110, 116, 114,
        111, 108, 108, 101, 114, 67, 108, 111, 115, 101, 32, 61, 32, 82, 101, 97, 100,
        97, 98, 108, 101, 83, 116, 114, 101, 97, 109, 68, 101, 102, 97, 117, 108, 116,
        67, 111, 110, 116, 114, 111, 108, 108, 101, 114, 67, 108, 111, 115, 101, 59, 10,
        32, 32, 98, 105, 110, 100, 105, 110, 103, 46, 82, 101, 97, 100, 97, 98, 108,
        101, 83, 116, 114, 101, 97, 109, 68, 101, 102, 97, 117, 108, 116, 67, 111, 110,
        116, 114, 111, 108, 108, 101, 114, 71, 101, 116, 68, 101, 115, 105, 114, 101,
        100, 83, 105, 122, 101, 32, 61, 32, 82, 101, 97, 100, 97, 98, 108, 101, 83, 116,
        114, 101, 97, 109, 68, 101, 102, 97, 117, 108, 116, 67, 111, 110, 116, 114, 111,
        108, 108, 101, 114, 71, 101, 116, 68, 101, 115, 105, 114, 101, 100, 83, 105,
        122, 101, 59, 10, 32, 32, 98, 105, 110, 100, 105, 110, 103, 46, 82, 101, 97,
        100, 97, 98, 108, 101, 83, 116, 114, 101, 97, 109, 68, 101, 102, 97, 117, 108,
        116, 67, 111, 110, 116, 114, 111, 108, 108, 101, 114, 69, 110, 113, 117, 101,
        117, 101, 32, 61, 32, 82, 101, 97, 100, 97, 98, 108, 101, 83, 116, 114, 101, 97,
        109, 68, 101, 102, 97, 117, 108, 116, 67, 111, 110, 116, 114, 111, 108, 108,
        101, 114, 69, 110, 113, 117, 101, 117, 101, 59, 10, 32, 32, 98, 105, 110, 100,
        105, 110, 103, 46, 82, 101, 97, 100, 97, 98, 108, 101, 83, 116, 114, 101, 97,
        109, 68, 101, 102, 97, 117, 108, 116, 67, 111, 110, 116, 114, 111, 108, 108,
        101, 114, 69, 114, 114, 111, 114, 32, 61, 32, 82, 101, 97, 100, 97, 98, 108,
        101, 83, 116, 114, 101, 97, 109, 68, 101, 102, 97, 117, 108, 116, 67, 111, 110,
        116, 114, 111, 108, 108, 101, 114, 69, 114, 114, 111, 114, 59, 10, 32, 32, 98,
        105, 110, 100, 105, 110, 103, 46, 99, 114, 101, 97, 116, 101, 82, 101, 97, 100,
        97, 98, 108, 101, 83, 116, 114, 101, 97, 109, 87, 105, 116, 104, 69, 120, 116,
        101, 114, 110, 97, 108, 67, 111, 110, 116, 114, 111, 108, 108, 101, 114, 32, 61,
        10, 32, 32, 32, 32, 32, 32, 40, 117, 110, 100, 101, 114, 108, 121, 105, 110,
        103, 83, 111, 117, 114, 99, 101, 44, 32, 115, 116, 114, 97, 116, 101, 103, 121,
        41, 32, 61, 62, 32, 123, 10, 32, 32, 32, 32, 32, 32, 32, 32, 114, 101, 116, 117,
        114, 110, 32, 110, 101, 119, 32, 82, 101, 97, 100, 97, 98, 108, 101, 83, 116,
        114, 101, 97, 109, 40, 10, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 117,
        110, 100, 101, 114, 108, 121, 105, 110, 103, 83, 111, 117, 114, 99, 101, 44, 32,
        115, 116, 114, 97, 116, 101, 103, 121, 44, 32, 99, 114, 101, 97, 116, 101, 87,
        105, 116, 104, 69, 120, 116, 101, 114, 110, 97, 108, 67, 111, 110, 116, 114,
        111, 108, 108, 101, 114, 83, 101, 110, 116, 105, 110, 101, 108, 41, 59, 10, 32,
        32, 32, 32, 32, 32, 125, 59, 10, 125, 41, 59, 10 };

    template <>
    int NativesCollection<EXTRAS>::GetBuiltinsCount()
    {
        return 4;
    }

    template <>
    int NativesCollection<EXTRAS>::GetDebuggerCount()
    {
        return 0;
    }

    template <>
    int NativesCollection<EXTRAS>::GetIndex(const char* name)
    {
        if (strcmp(name, "CommonStrings") == 0)
            return 0;
        if (strcmp(name, "ByteLengthQueuingStrategy") == 0)
            return 1;
        if (strcmp(name, "CountQueuingStrategy") == 0)
            return 2;
        if (strcmp(name, "ReadableStream") == 0)
            return 3;
        return -1;
    }

    template <>
    Vector<const char> NativesCollection<EXTRAS>::GetScriptSource(int index)
    {
        if (index == 0)
            return Vector<const char>(sources + 0, 530);
        if (index == 1)
            return Vector<const char>(sources + 530, 564);
        if (index == 2)
            return Vector<const char>(sources + 1094, 831);
        if (index == 3)
            return Vector<const char>(sources + 1925, 27932);
        return Vector<const char>("", 0);
    }

    template <>
    Vector<const char> NativesCollection<EXTRAS>::GetScriptName(int index)
    {
        if (index == 0)
            return Vector<const char>("native CommonStrings.js", 23);
        if (index == 1)
            return Vector<const char>("native ByteLengthQueuingStrategy.js", 35);
        if (index == 2)
            return Vector<const char>("native CountQueuingStrategy.js", 30);
        if (index == 3)
            return Vector<const char>("native ReadableStream.js", 24);
        return Vector<const char>("", 0);
    }

    template <>
    Vector<const char> NativesCollection<EXTRAS>::GetScriptsSource()
    {
        return Vector<const char>(sources, 29857);
    }
} // internal
} // v8
